home *** CD-ROM | disk | FTP | other *** search
/ Mac Easy 2010 May / Mac Life Ubuntu.iso / casper / filesystem.squashfs / usr / share / synaptic / glade / window_preferences.glade < prev    next >
Encoding:
Extensible Markup Language  |  2009-04-23  |  138.8 KB  |  3,607 lines
  1. <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
  2. <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
  3.  
  4. <glade-interface>
  5.  
  6. <widget class="GtkWindow" id="window_preferences">
  7.   <property name="title" translatable="yes">Preferences</property>
  8.   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  9.   <property name="window_position">GTK_WIN_POS_CENTER</property>
  10.   <property name="modal">True</property>
  11.   <property name="resizable">False</property>
  12.   <property name="destroy_with_parent">False</property>
  13.   <property name="icon">synaptic_mini.xpm</property>
  14.   <property name="decorated">True</property>
  15.   <property name="skip_taskbar_hint">False</property>
  16.   <property name="skip_pager_hint">False</property>
  17.   <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
  18.   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  19.   <property name="focus_on_map">True</property>
  20.   <property name="urgency_hint">False</property>
  21.  
  22.   <child>
  23.     <widget class="GtkVBox" id="vbox8">
  24.       <property name="border_width">6</property>
  25.       <property name="visible">True</property>
  26.       <property name="homogeneous">False</property>
  27.       <property name="spacing">0</property>
  28.  
  29.       <child>
  30.     <widget class="GtkNotebook" id="notebook_prefs">
  31.       <property name="border_width">6</property>
  32.       <property name="visible">True</property>
  33.       <property name="can_focus">True</property>
  34.       <property name="show_tabs">True</property>
  35.       <property name="show_border">True</property>
  36.       <property name="tab_pos">GTK_POS_TOP</property>
  37.       <property name="scrollable">False</property>
  38.       <property name="enable_popup">False</property>
  39.  
  40.       <child>
  41.         <widget class="GtkVBox" id="vbox11">
  42.           <property name="border_width">12</property>
  43.           <property name="visible">True</property>
  44.           <property name="homogeneous">False</property>
  45.           <property name="spacing">18</property>
  46.  
  47.           <child>
  48.         <widget class="GtkVBox" id="vbox17">
  49.           <property name="visible">True</property>
  50.           <property name="homogeneous">False</property>
  51.           <property name="spacing">6</property>
  52.  
  53.           <child>
  54.             <widget class="GtkLabel" id="label71">
  55.               <property name="visible">True</property>
  56.               <property name="label" translatable="yes"><b>Appearance</b></property>
  57.               <property name="use_underline">False</property>
  58.               <property name="use_markup">True</property>
  59.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  60.               <property name="wrap">False</property>
  61.               <property name="selectable">False</property>
  62.               <property name="xalign">0</property>
  63.               <property name="yalign">0.5</property>
  64.               <property name="xpad">0</property>
  65.               <property name="ypad">0</property>
  66.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  67.               <property name="width_chars">-1</property>
  68.               <property name="single_line_mode">False</property>
  69.               <property name="angle">0</property>
  70.             </widget>
  71.             <packing>
  72.               <property name="padding">0</property>
  73.               <property name="expand">False</property>
  74.               <property name="fill">False</property>
  75.             </packing>
  76.           </child>
  77.  
  78.           <child>
  79.             <widget class="GtkHBox" id="hbox3">
  80.               <property name="visible">True</property>
  81.               <property name="homogeneous">False</property>
  82.               <property name="spacing">0</property>
  83.  
  84.               <child>
  85.             <widget class="GtkLabel" id="label72">
  86.               <property name="visible">True</property>
  87.               <property name="label" translatable="yes">    </property>
  88.               <property name="use_underline">False</property>
  89.               <property name="use_markup">False</property>
  90.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  91.               <property name="wrap">False</property>
  92.               <property name="selectable">False</property>
  93.               <property name="xalign">0.5</property>
  94.               <property name="yalign">0.5</property>
  95.               <property name="xpad">0</property>
  96.               <property name="ypad">0</property>
  97.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  98.               <property name="width_chars">-1</property>
  99.               <property name="single_line_mode">False</property>
  100.               <property name="angle">0</property>
  101.             </widget>
  102.             <packing>
  103.               <property name="padding">0</property>
  104.               <property name="expand">False</property>
  105.               <property name="fill">False</property>
  106.             </packing>
  107.               </child>
  108.  
  109.               <child>
  110.             <widget class="GtkVBox" id="vbox12">
  111.               <property name="visible">True</property>
  112.               <property name="homogeneous">False</property>
  113.               <property name="spacing">6</property>
  114.  
  115.               <child>
  116.                 <widget class="GtkCheckButton" id="check_show_all_pkg_info">
  117.                   <property name="border_width">2</property>
  118.                   <property name="visible">True</property>
  119.                   <property name="can_focus">True</property>
  120.                   <property name="label" translatable="yes">Show package properties in the main window</property>
  121.                   <property name="use_underline">True</property>
  122.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  123.                   <property name="focus_on_click">True</property>
  124.                   <property name="active">False</property>
  125.                   <property name="inconsistent">False</property>
  126.                   <property name="draw_indicator">True</property>
  127.                 </widget>
  128.                 <packing>
  129.                   <property name="padding">0</property>
  130.                   <property name="expand">False</property>
  131.                   <property name="fill">False</property>
  132.                 </packing>
  133.               </child>
  134.             </widget>
  135.             <packing>
  136.               <property name="padding">0</property>
  137.               <property name="expand">False</property>
  138.               <property name="fill">False</property>
  139.             </packing>
  140.               </child>
  141.             </widget>
  142.             <packing>
  143.               <property name="padding">0</property>
  144.               <property name="expand">False</property>
  145.               <property name="fill">False</property>
  146.             </packing>
  147.           </child>
  148.         </widget>
  149.         <packing>
  150.           <property name="padding">0</property>
  151.           <property name="expand">False</property>
  152.           <property name="fill">False</property>
  153.         </packing>
  154.           </child>
  155.  
  156.           <child>
  157.         <widget class="GtkVBox" id="vbox18">
  158.           <property name="visible">True</property>
  159.           <property name="homogeneous">False</property>
  160.           <property name="spacing">6</property>
  161.  
  162.           <child>
  163.             <widget class="GtkLabel" id="label73">
  164.               <property name="visible">True</property>
  165.               <property name="label" translatable="yes"><b>Marking Changes</b></property>
  166.               <property name="use_underline">False</property>
  167.               <property name="use_markup">True</property>
  168.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  169.               <property name="wrap">False</property>
  170.               <property name="selectable">False</property>
  171.               <property name="xalign">0</property>
  172.               <property name="yalign">0.5</property>
  173.               <property name="xpad">0</property>
  174.               <property name="ypad">0</property>
  175.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  176.               <property name="width_chars">-1</property>
  177.               <property name="single_line_mode">False</property>
  178.               <property name="angle">0</property>
  179.             </widget>
  180.             <packing>
  181.               <property name="padding">0</property>
  182.               <property name="expand">False</property>
  183.               <property name="fill">False</property>
  184.             </packing>
  185.           </child>
  186.  
  187.           <child>
  188.             <widget class="GtkHBox" id="hbox4">
  189.               <property name="visible">True</property>
  190.               <property name="homogeneous">False</property>
  191.               <property name="spacing">0</property>
  192.  
  193.               <child>
  194.             <widget class="GtkLabel" id="label74">
  195.               <property name="visible">True</property>
  196.               <property name="label" translatable="yes">    </property>
  197.               <property name="use_underline">False</property>
  198.               <property name="use_markup">False</property>
  199.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  200.               <property name="wrap">False</property>
  201.               <property name="selectable">False</property>
  202.               <property name="xalign">0.5</property>
  203.               <property name="yalign">0.5</property>
  204.               <property name="xpad">0</property>
  205.               <property name="ypad">0</property>
  206.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  207.               <property name="width_chars">-1</property>
  208.               <property name="single_line_mode">False</property>
  209.               <property name="angle">0</property>
  210.             </widget>
  211.             <packing>
  212.               <property name="padding">0</property>
  213.               <property name="expand">False</property>
  214.               <property name="fill">False</property>
  215.             </packing>
  216.               </child>
  217.  
  218.               <child>
  219.             <widget class="GtkVBox" id="vbox13">
  220.               <property name="border_width">2</property>
  221.               <property name="visible">True</property>
  222.               <property name="homogeneous">False</property>
  223.               <property name="spacing">6</property>
  224.  
  225.               <child>
  226.                 <widget class="GtkCheckButton" id="check_ask_related">
  227.                   <property name="border_width">2</property>
  228.                   <property name="visible">True</property>
  229.                   <property name="can_focus">True</property>
  230.                   <property name="label" translatable="yes">Ask to confirm changes that also affect other packages</property>
  231.                   <property name="use_underline">True</property>
  232.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  233.                   <property name="focus_on_click">True</property>
  234.                   <property name="active">False</property>
  235.                   <property name="inconsistent">False</property>
  236.                   <property name="draw_indicator">True</property>
  237.                 </widget>
  238.                 <packing>
  239.                   <property name="padding">0</property>
  240.                   <property name="expand">False</property>
  241.                   <property name="fill">False</property>
  242.                 </packing>
  243.               </child>
  244.  
  245.               <child>
  246.                 <widget class="GtkCheckButton" id="check_recommends">
  247.                   <property name="border_width">2</property>
  248.                   <property name="visible">True</property>
  249.                   <property name="can_focus">True</property>
  250.                   <property name="label" translatable="yes">Consider recommended packages as dependencies</property>
  251.                   <property name="use_underline">True</property>
  252.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  253.                   <property name="focus_on_click">True</property>
  254.                   <property name="active">False</property>
  255.                   <property name="inconsistent">False</property>
  256.                   <property name="draw_indicator">True</property>
  257.                 </widget>
  258.                 <packing>
  259.                   <property name="padding">0</property>
  260.                   <property name="expand">False</property>
  261.                   <property name="fill">False</property>
  262.                 </packing>
  263.               </child>
  264.  
  265.               <child>
  266.                 <widget class="GtkCheckButton" id="check_oneclick">
  267.                   <property name="border_width">2</property>
  268.                   <property name="visible">True</property>
  269.                   <property name="can_focus">True</property>
  270.                   <property name="label" translatable="yes">Clicking on the status icon marks the most likely action</property>
  271.                   <property name="use_underline">True</property>
  272.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  273.                   <property name="focus_on_click">True</property>
  274.                   <property name="active">False</property>
  275.                   <property name="inconsistent">False</property>
  276.                   <property name="draw_indicator">True</property>
  277.                 </widget>
  278.                 <packing>
  279.                   <property name="padding">0</property>
  280.                   <property name="expand">False</property>
  281.                   <property name="fill">False</property>
  282.                 </packing>
  283.               </child>
  284.  
  285.               <child>
  286.                 <widget class="GtkTable" id="table7">
  287.                   <property name="visible">True</property>
  288.                   <property name="n_rows">4</property>
  289.                   <property name="n_columns">2</property>
  290.                   <property name="homogeneous">False</property>
  291.                   <property name="row_spacing">6</property>
  292.                   <property name="column_spacing">12</property>
  293.  
  294.                   <child>
  295.                 <widget class="GtkHBox" id="hbox62">
  296.                   <property name="visible">True</property>
  297.                   <property name="homogeneous">False</property>
  298.                   <property name="spacing">0</property>
  299.  
  300.                   <child>
  301.                     <widget class="GtkOptionMenu" id="optionmenu_delbutton_action">
  302.                       <property name="can_focus">True</property>
  303.                       <property name="history">0</property>
  304.  
  305.                       <child>
  306.                     <widget class="GtkMenu" id="menu2">
  307.  
  308.                       <child>
  309.                         <widget class="GtkMenuItem" id="menuitem1">
  310.                           <property name="visible">True</property>
  311.                           <property name="label" translatable="yes">Keep Configuration</property>
  312.                           <property name="use_underline">True</property>
  313.                           <signal name="activate" handler="on_delete1_activate" last_modification_time="Wed, 16 Jul 2003 10:04:23 GMT"/>
  314.                         </widget>
  315.                       </child>
  316.  
  317.                       <child>
  318.                         <widget class="GtkMenuItem" id="menuitem_purge">
  319.                           <property name="visible">True</property>
  320.                           <property name="label" translatable="yes">Completely</property>
  321.                           <property name="use_underline">True</property>
  322.                           <signal name="activate" handler="on_purge1_activate" last_modification_time="Wed, 16 Jul 2003 10:04:23 GMT"/>
  323.                         </widget>
  324.                       </child>
  325.                     </widget>
  326.                       </child>
  327.                     </widget>
  328.                     <packing>
  329.                       <property name="padding">0</property>
  330.                       <property name="expand">True</property>
  331.                       <property name="fill">True</property>
  332.                     </packing>
  333.                   </child>
  334.                 </widget>
  335.                 <packing>
  336.                   <property name="left_attach">1</property>
  337.                   <property name="right_attach">2</property>
  338.                   <property name="top_attach">0</property>
  339.                   <property name="bottom_attach">1</property>
  340.                   <property name="x_options">fill</property>
  341.                   <property name="y_options">fill</property>
  342.                 </packing>
  343.                   </child>
  344.  
  345.                   <child>
  346.                 <widget class="GtkLabel" id="label_removal">
  347.                   <property name="label" translatable="yes">Removal of packages: </property>
  348.                   <property name="use_underline">True</property>
  349.                   <property name="use_markup">False</property>
  350.                   <property name="justify">GTK_JUSTIFY_LEFT</property>
  351.                   <property name="wrap">False</property>
  352.                   <property name="selectable">False</property>
  353.                   <property name="xalign">0</property>
  354.                   <property name="yalign">0.5</property>
  355.                   <property name="xpad">0</property>
  356.                   <property name="ypad">0</property>
  357.                   <property name="mnemonic_widget">optionmenu_delbutton_action</property>
  358.                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  359.                   <property name="width_chars">-1</property>
  360.                   <property name="single_line_mode">False</property>
  361.                   <property name="angle">0</property>
  362.                 </widget>
  363.                 <packing>
  364.                   <property name="left_attach">0</property>
  365.                   <property name="right_attach">1</property>
  366.                   <property name="top_attach">0</property>
  367.                   <property name="bottom_attach">1</property>
  368.                   <property name="x_options">fill</property>
  369.                   <property name="y_options"></property>
  370.                 </packing>
  371.                   </child>
  372.  
  373.                   <child>
  374.                 <widget class="GtkLabel" id="label146">
  375.                   <property name="visible">True</property>
  376.                   <property name="label" translatable="yes">System upgrade:</property>
  377.                   <property name="use_underline">False</property>
  378.                   <property name="use_markup">False</property>
  379.                   <property name="justify">GTK_JUSTIFY_LEFT</property>
  380.                   <property name="wrap">False</property>
  381.                   <property name="selectable">False</property>
  382.                   <property name="xalign">0</property>
  383.                   <property name="yalign">0.5</property>
  384.                   <property name="xpad">0</property>
  385.                   <property name="ypad">0</property>
  386.                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  387.                   <property name="width_chars">-1</property>
  388.                   <property name="single_line_mode">False</property>
  389.                   <property name="angle">0</property>
  390.                 </widget>
  391.                 <packing>
  392.                   <property name="left_attach">0</property>
  393.                   <property name="right_attach">1</property>
  394.                   <property name="top_attach">1</property>
  395.                   <property name="bottom_attach">2</property>
  396.                   <property name="x_options">fill</property>
  397.                   <property name="y_options"></property>
  398.                 </packing>
  399.                   </child>
  400.  
  401.                   <child>
  402.                 <widget class="GtkOptionMenu" id="optionmenu_upgrade_method">
  403.                   <property name="visible">True</property>
  404.                   <property name="can_focus">True</property>
  405.                   <property name="history">0</property>
  406.  
  407.                   <child>
  408.                     <widget class="GtkMenu" id="menu4">
  409.  
  410.                       <child>
  411.                     <widget class="GtkMenuItem" id="menu_always_ask">
  412.                       <property name="visible">True</property>
  413.                       <property name="label" translatable="yes">Always Ask</property>
  414.                       <property name="use_underline">True</property>
  415.                       <signal name="activate" handler="on_always_ask_activate" last_modification_time="Mon, 03 Nov 2003 23:57:02 GMT"/>
  416.                     </widget>
  417.                       </child>
  418.  
  419.                       <child>
  420.                     <widget class="GtkMenuItem" id="menu_normal_upgrade">
  421.                       <property name="visible">True</property>
  422.                       <property name="label" translatable="yes">Default Upgrade</property>
  423.                       <property name="use_underline">True</property>
  424.                       <signal name="activate" handler="on_normal_upgrade_activate" last_modification_time="Mon, 03 Nov 2003 23:57:02 GMT"/>
  425.                     </widget>
  426.                       </child>
  427.  
  428.                       <child>
  429.                     <widget class="GtkMenuItem" id="distribution_upgrade">
  430.                       <property name="visible">True</property>
  431.                       <property name="label" translatable="yes">Smart Upgrade</property>
  432.                       <property name="use_underline">True</property>
  433.                       <signal name="activate" handler="on_distribution_upgrade_activate" last_modification_time="Mon, 03 Nov 2003 23:57:02 GMT"/>
  434.                     </widget>
  435.                       </child>
  436.                     </widget>
  437.                   </child>
  438.                 </widget>
  439.                 <packing>
  440.                   <property name="left_attach">1</property>
  441.                   <property name="right_attach">2</property>
  442.                   <property name="top_attach">1</property>
  443.                   <property name="bottom_attach">2</property>
  444.                   <property name="y_options"></property>
  445.                 </packing>
  446.                   </child>
  447.  
  448.                   <child>
  449.                 <widget class="GtkLabel" id="label123">
  450.                   <property name="visible">True</property>
  451.                   <property name="label" translatable="yes">Number of undo operations:</property>
  452.                   <property name="use_underline">False</property>
  453.                   <property name="use_markup">False</property>
  454.                   <property name="justify">GTK_JUSTIFY_LEFT</property>
  455.                   <property name="wrap">False</property>
  456.                   <property name="selectable">False</property>
  457.                   <property name="xalign">0</property>
  458.                   <property name="yalign">0.5</property>
  459.                   <property name="xpad">0</property>
  460.                   <property name="ypad">0</property>
  461.                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  462.                   <property name="width_chars">-1</property>
  463.                   <property name="single_line_mode">False</property>
  464.                   <property name="angle">0</property>
  465.                 </widget>
  466.                 <packing>
  467.                   <property name="left_attach">0</property>
  468.                   <property name="right_attach">1</property>
  469.                   <property name="top_attach">3</property>
  470.                   <property name="bottom_attach">4</property>
  471.                   <property name="x_options">fill</property>
  472.                   <property name="y_options"></property>
  473.                 </packing>
  474.                   </child>
  475.  
  476.                   <child>
  477.                 <widget class="GtkHBox" id="hbox63">
  478.                   <property name="visible">True</property>
  479.                   <property name="homogeneous">False</property>
  480.                   <property name="spacing">0</property>
  481.  
  482.                   <child>
  483.                     <widget class="GtkSpinButton" id="spinbutton_max_undos">
  484.                       <property name="visible">True</property>
  485.                       <property name="can_focus">True</property>
  486.                       <property name="climb_rate">1</property>
  487.                       <property name="digits">0</property>
  488.                       <property name="numeric">False</property>
  489.                       <property name="update_policy">GTK_UPDATE_ALWAYS</property>
  490.                       <property name="snap_to_ticks">False</property>
  491.                       <property name="wrap">False</property>
  492.                       <property name="adjustment">20 0 1000 1 10 10</property>
  493.                     </widget>
  494.                     <packing>
  495.                       <property name="padding">0</property>
  496.                       <property name="expand">False</property>
  497.                       <property name="fill">True</property>
  498.                     </packing>
  499.                   </child>
  500.  
  501.                   <child>
  502.                     <widget class="GtkLabel" id="label137">
  503.                       <property name="visible">True</property>
  504.                       <property name="label" translatable="yes"> </property>
  505.                       <property name="use_underline">False</property>
  506.                       <property name="use_markup">False</property>
  507.                       <property name="justify">GTK_JUSTIFY_LEFT</property>
  508.                       <property name="wrap">False</property>
  509.                       <property name="selectable">False</property>
  510.                       <property name="xalign">0.5</property>
  511.                       <property name="yalign">0.5</property>
  512.                       <property name="xpad">0</property>
  513.                       <property name="ypad">0</property>
  514.                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  515.                       <property name="width_chars">-1</property>
  516.                       <property name="single_line_mode">False</property>
  517.                       <property name="angle">0</property>
  518.                     </widget>
  519.                     <packing>
  520.                       <property name="padding">0</property>
  521.                       <property name="expand">True</property>
  522.                       <property name="fill">True</property>
  523.                     </packing>
  524.                   </child>
  525.                 </widget>
  526.                 <packing>
  527.                   <property name="left_attach">1</property>
  528.                   <property name="right_attach">2</property>
  529.                   <property name="top_attach">3</property>
  530.                   <property name="bottom_attach">4</property>
  531.                   <property name="x_options">fill</property>
  532.                   <property name="y_options">fill</property>
  533.                 </packing>
  534.                   </child>
  535.  
  536.                   <child>
  537.                 <widget class="GtkLabel" id="label165">
  538.                   <property name="visible">True</property>
  539.                   <property name="label" translatable="yes">Reloading outdated package information:</property>
  540.                   <property name="use_underline">False</property>
  541.                   <property name="use_markup">False</property>
  542.                   <property name="justify">GTK_JUSTIFY_LEFT</property>
  543.                   <property name="wrap">False</property>
  544.                   <property name="selectable">False</property>
  545.                   <property name="xalign">0</property>
  546.                   <property name="yalign">0.5</property>
  547.                   <property name="xpad">0</property>
  548.                   <property name="ypad">0</property>
  549.                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  550.                   <property name="width_chars">-1</property>
  551.                   <property name="single_line_mode">False</property>
  552.                   <property name="angle">0</property>
  553.                 </widget>
  554.                 <packing>
  555.                   <property name="left_attach">0</property>
  556.                   <property name="right_attach">1</property>
  557.                   <property name="top_attach">2</property>
  558.                   <property name="bottom_attach">3</property>
  559.                   <property name="x_options">fill</property>
  560.                   <property name="y_options"></property>
  561.                 </packing>
  562.                   </child>
  563.  
  564.                   <child>
  565.                 <widget class="GtkOptionMenu" id="optionmenu_update_ask">
  566.                   <property name="visible">True</property>
  567.                   <property name="can_focus">True</property>
  568.                   <property name="history">0</property>
  569.  
  570.                   <child>
  571.                     <widget class="GtkMenu" id="menu5">
  572.  
  573.                       <child>
  574.                     <widget class="GtkMenuItem" id="menuitem2">
  575.                       <property name="visible">True</property>
  576.                       <property name="label" translatable="yes">Always Ask</property>
  577.                       <property name="use_underline">True</property>
  578.                       <signal name="activate" handler="on_always_ask_activate" last_modification_time="Mon, 03 Nov 2003 23:57:02 GMT"/>
  579.                     </widget>
  580.                       </child>
  581.  
  582.                       <child>
  583.                     <widget class="GtkMenuItem" id="menuitem3">
  584.                       <property name="visible">True</property>
  585.                       <property name="label" translatable="yes">Ignore</property>
  586.                       <property name="use_underline">True</property>
  587.                       <signal name="activate" handler="on_normal_upgrade_activate" last_modification_time="Mon, 03 Nov 2003 23:57:02 GMT"/>
  588.                     </widget>
  589.                       </child>
  590.  
  591.                       <child>
  592.                     <widget class="GtkMenuItem" id="menuitem4">
  593.                       <property name="visible">True</property>
  594.                       <property name="label" translatable="yes">Automatically</property>
  595.                       <property name="use_underline">True</property>
  596.                       <signal name="activate" handler="on_distribution_upgrade_activate" last_modification_time="Mon, 03 Nov 2003 23:57:02 GMT"/>
  597.                     </widget>
  598.                       </child>
  599.                     </widget>
  600.                   </child>
  601.                 </widget>
  602.                 <packing>
  603.                   <property name="left_attach">1</property>
  604.                   <property name="right_attach">2</property>
  605.                   <property name="top_attach">2</property>
  606.                   <property name="bottom_attach">3</property>
  607.                   <property name="x_options">fill</property>
  608.                   <property name="y_options"></property>
  609.                 </packing>
  610.                   </child>
  611.                 </widget>
  612.                 <packing>
  613.                   <property name="padding">0</property>
  614.                   <property name="expand">True</property>
  615.                   <property name="fill">True</property>
  616.                 </packing>
  617.               </child>
  618.             </widget>
  619.             <packing>
  620.               <property name="padding">0</property>
  621.               <property name="expand">True</property>
  622.               <property name="fill">True</property>
  623.             </packing>
  624.               </child>
  625.             </widget>
  626.             <packing>
  627.               <property name="padding">0</property>
  628.               <property name="expand">True</property>
  629.               <property name="fill">True</property>
  630.             </packing>
  631.           </child>
  632.         </widget>
  633.         <packing>
  634.           <property name="padding">0</property>
  635.           <property name="expand">False</property>
  636.           <property name="fill">False</property>
  637.         </packing>
  638.           </child>
  639.  
  640.           <child>
  641.         <widget class="GtkVBox" id="vbox40">
  642.           <property name="visible">True</property>
  643.           <property name="homogeneous">False</property>
  644.           <property name="spacing">6</property>
  645.  
  646.           <child>
  647.             <widget class="GtkLabel" id="label162">
  648.               <property name="visible">True</property>
  649.               <property name="label" translatable="yes"><b>Applying Changes</b></property>
  650.               <property name="use_underline">False</property>
  651.               <property name="use_markup">True</property>
  652.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  653.               <property name="wrap">False</property>
  654.               <property name="selectable">False</property>
  655.               <property name="xalign">0</property>
  656.               <property name="yalign">0.5</property>
  657.               <property name="xpad">0</property>
  658.               <property name="ypad">0</property>
  659.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  660.               <property name="width_chars">-1</property>
  661.               <property name="single_line_mode">False</property>
  662.               <property name="angle">0</property>
  663.             </widget>
  664.             <packing>
  665.               <property name="padding">0</property>
  666.               <property name="expand">False</property>
  667.               <property name="fill">False</property>
  668.             </packing>
  669.           </child>
  670.  
  671.           <child>
  672.             <widget class="GtkHBox" id="hbox79">
  673.               <property name="visible">True</property>
  674.               <property name="homogeneous">False</property>
  675.               <property name="spacing">0</property>
  676.  
  677.               <child>
  678.             <widget class="GtkLabel" id="label161">
  679.               <property name="visible">True</property>
  680.               <property name="label" translatable="yes">    </property>
  681.               <property name="use_underline">False</property>
  682.               <property name="use_markup">False</property>
  683.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  684.               <property name="wrap">False</property>
  685.               <property name="selectable">False</property>
  686.               <property name="xalign">0.5</property>
  687.               <property name="yalign">0.5</property>
  688.               <property name="xpad">0</property>
  689.               <property name="ypad">0</property>
  690.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  691.               <property name="width_chars">-1</property>
  692.               <property name="single_line_mode">False</property>
  693.               <property name="angle">0</property>
  694.             </widget>
  695.             <packing>
  696.               <property name="padding">0</property>
  697.               <property name="expand">False</property>
  698.               <property name="fill">False</property>
  699.             </packing>
  700.               </child>
  701.  
  702.               <child>
  703.             <widget class="GtkVBox" id="vbox41">
  704.               <property name="visible">True</property>
  705.               <property name="homogeneous">False</property>
  706.               <property name="spacing">0</property>
  707.  
  708.               <child>
  709.                 <widget class="GtkCheckButton" id="check_terminal">
  710.                   <property name="border_width">2</property>
  711.                   <property name="visible">True</property>
  712.                   <property name="can_focus">True</property>
  713.                   <property name="label" translatable="yes">Apply changes in a terminal window</property>
  714.                   <property name="use_underline">True</property>
  715.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  716.                   <property name="focus_on_click">True</property>
  717.                   <property name="active">False</property>
  718.                   <property name="inconsistent">False</property>
  719.                   <property name="draw_indicator">True</property>
  720.                 </widget>
  721.                 <packing>
  722.                   <property name="padding">0</property>
  723.                   <property name="expand">False</property>
  724.                   <property name="fill">False</property>
  725.                 </packing>
  726.               </child>
  727.  
  728.               <child>
  729.                 <widget class="GtkCheckButton" id="check_ask_quit">
  730.                   <property name="border_width">2</property>
  731.                   <property name="visible">True</property>
  732.                   <property name="can_focus">True</property>
  733.                   <property name="label" translatable="yes">Ask to quit after the changes have been applied successfully</property>
  734.                   <property name="use_underline">True</property>
  735.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  736.                   <property name="focus_on_click">True</property>
  737.                   <property name="active">False</property>
  738.                   <property name="inconsistent">False</property>
  739.                   <property name="draw_indicator">True</property>
  740.                 </widget>
  741.                 <packing>
  742.                   <property name="padding">0</property>
  743.                   <property name="expand">False</property>
  744.                   <property name="fill">False</property>
  745.                 </packing>
  746.               </child>
  747.             </widget>
  748.             <packing>
  749.               <property name="padding">0</property>
  750.               <property name="expand">True</property>
  751.               <property name="fill">True</property>
  752.             </packing>
  753.               </child>
  754.             </widget>
  755.             <packing>
  756.               <property name="padding">0</property>
  757.               <property name="expand">True</property>
  758.               <property name="fill">True</property>
  759.             </packing>
  760.           </child>
  761.         </widget>
  762.         <packing>
  763.           <property name="padding">0</property>
  764.           <property name="expand">False</property>
  765.           <property name="fill">True</property>
  766.         </packing>
  767.           </child>
  768.         </widget>
  769.         <packing>
  770.           <property name="tab_expand">False</property>
  771.           <property name="tab_fill">False</property>
  772.         </packing>
  773.       </child>
  774.  
  775.       <child>
  776.         <widget class="GtkLabel" id="label50">
  777.           <property name="visible">True</property>
  778.           <property name="label" translatable="yes">General</property>
  779.           <property name="use_underline">False</property>
  780.           <property name="use_markup">False</property>
  781.           <property name="justify">GTK_JUSTIFY_CENTER</property>
  782.           <property name="wrap">False</property>
  783.           <property name="selectable">False</property>
  784.           <property name="xalign">0.5</property>
  785.           <property name="yalign">0.5</property>
  786.           <property name="xpad">0</property>
  787.           <property name="ypad">0</property>
  788.           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  789.           <property name="width_chars">-1</property>
  790.           <property name="single_line_mode">False</property>
  791.           <property name="angle">0</property>
  792.         </widget>
  793.         <packing>
  794.           <property name="type">tab</property>
  795.         </packing>
  796.       </child>
  797.  
  798.       <child>
  799.         <widget class="GtkVBox" id="vbox27">
  800.           <property name="border_width">12</property>
  801.           <property name="visible">True</property>
  802.           <property name="homogeneous">False</property>
  803.           <property name="spacing">18</property>
  804.  
  805.           <child>
  806.         <widget class="GtkVBox" id="vbox38">
  807.           <property name="visible">True</property>
  808.           <property name="homogeneous">False</property>
  809.           <property name="spacing">6</property>
  810.  
  811.           <child>
  812.             <widget class="GtkLabel" id="label157">
  813.               <property name="visible">True</property>
  814.               <property name="label" translatable="yes"><b>Columns</b></property>
  815.               <property name="use_underline">False</property>
  816.               <property name="use_markup">True</property>
  817.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  818.               <property name="wrap">False</property>
  819.               <property name="selectable">False</property>
  820.               <property name="xalign">0</property>
  821.               <property name="yalign">0.5</property>
  822.               <property name="xpad">0</property>
  823.               <property name="ypad">0</property>
  824.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  825.               <property name="width_chars">-1</property>
  826.               <property name="single_line_mode">False</property>
  827.               <property name="angle">0</property>
  828.             </widget>
  829.             <packing>
  830.               <property name="padding">0</property>
  831.               <property name="expand">False</property>
  832.               <property name="fill">False</property>
  833.             </packing>
  834.           </child>
  835.  
  836.           <child>
  837.             <widget class="GtkHBox" id="hbox75">
  838.               <property name="height_request">174</property>
  839.               <property name="visible">True</property>
  840.               <property name="homogeneous">False</property>
  841.               <property name="spacing">0</property>
  842.  
  843.               <child>
  844.             <widget class="GtkLabel" id="label158">
  845.               <property name="visible">True</property>
  846.               <property name="label" translatable="yes">    </property>
  847.               <property name="use_underline">False</property>
  848.               <property name="use_markup">False</property>
  849.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  850.               <property name="wrap">False</property>
  851.               <property name="selectable">False</property>
  852.               <property name="xalign">0.5</property>
  853.               <property name="yalign">0.5</property>
  854.               <property name="xpad">0</property>
  855.               <property name="ypad">0</property>
  856.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  857.               <property name="width_chars">-1</property>
  858.               <property name="single_line_mode">False</property>
  859.               <property name="angle">0</property>
  860.             </widget>
  861.             <packing>
  862.               <property name="padding">0</property>
  863.               <property name="expand">False</property>
  864.               <property name="fill">False</property>
  865.             </packing>
  866.               </child>
  867.  
  868.               <child>
  869.             <widget class="GtkHBox" id="hbox76">
  870.               <property name="visible">True</property>
  871.               <property name="homogeneous">False</property>
  872.               <property name="spacing">12</property>
  873.  
  874.               <child>
  875.                 <widget class="GtkScrolledWindow" id="scrolledwindow1">
  876.                   <property name="visible">True</property>
  877.                   <property name="can_focus">True</property>
  878.                   <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  879.                   <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  880.                   <property name="shadow_type">GTK_SHADOW_IN</property>
  881.                   <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
  882.  
  883.                   <child>
  884.                 <widget class="GtkTreeView" id="treeview_columns">
  885.                   <property name="visible">True</property>
  886.                   <property name="can_focus">True</property>
  887.                   <property name="headers_visible">True</property>
  888.                   <property name="rules_hint">False</property>
  889.                   <property name="reorderable">False</property>
  890.                   <property name="enable_search">True</property>
  891.                   <property name="fixed_height_mode">False</property>
  892.                   <property name="hover_selection">False</property>
  893.                   <property name="hover_expand">False</property>
  894.                 </widget>
  895.                   </child>
  896.                 </widget>
  897.                 <packing>
  898.                   <property name="padding">0</property>
  899.                   <property name="expand">True</property>
  900.                   <property name="fill">True</property>
  901.                 </packing>
  902.               </child>
  903.  
  904.               <child>
  905.                 <widget class="GtkVBox" id="vbox39">
  906.                   <property name="visible">True</property>
  907.                   <property name="homogeneous">False</property>
  908.                   <property name="spacing">6</property>
  909.  
  910.                   <child>
  911.                 <widget class="GtkButton" id="button_column_up">
  912.                   <property name="visible">True</property>
  913.                   <property name="can_focus">True</property>
  914.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  915.                   <property name="focus_on_click">True</property>
  916.                   <signal name="clicked" handler="on_button_column_up_clicked" last_modification_time="Fri, 16 Jul 2004 03:53:42 GMT"/>
  917.  
  918.                   <child>
  919.                     <widget class="GtkAlignment" id="alignment4">
  920.                       <property name="visible">True</property>
  921.                       <property name="xalign">0.5</property>
  922.                       <property name="yalign">0.5</property>
  923.                       <property name="xscale">0</property>
  924.                       <property name="yscale">0</property>
  925.                       <property name="top_padding">0</property>
  926.                       <property name="bottom_padding">0</property>
  927.                       <property name="left_padding">0</property>
  928.                       <property name="right_padding">0</property>
  929.  
  930.                       <child>
  931.                     <widget class="GtkHBox" id="hbox80">
  932.                       <property name="visible">True</property>
  933.                       <property name="homogeneous">False</property>
  934.                       <property name="spacing">2</property>
  935.  
  936.                       <child>
  937.                         <widget class="GtkImage" id="image11">
  938.                           <property name="visible">True</property>
  939.                           <property name="stock">gtk-go-up</property>
  940.                           <property name="icon_size">4</property>
  941.                           <property name="xalign">0.5</property>
  942.                           <property name="yalign">0.5</property>
  943.                           <property name="xpad">0</property>
  944.                           <property name="ypad">0</property>
  945.                         </widget>
  946.                         <packing>
  947.                           <property name="padding">0</property>
  948.                           <property name="expand">False</property>
  949.                           <property name="fill">False</property>
  950.                         </packing>
  951.                       </child>
  952.  
  953.                       <child>
  954.                         <widget class="GtkLabel" id="label163">
  955.                           <property name="visible">True</property>
  956.                           <property name="label" translatable="yes">Move _Up</property>
  957.                           <property name="use_underline">True</property>
  958.                           <property name="use_markup">False</property>
  959.                           <property name="justify">GTK_JUSTIFY_LEFT</property>
  960.                           <property name="wrap">False</property>
  961.                           <property name="selectable">False</property>
  962.                           <property name="xalign">0.5</property>
  963.                           <property name="yalign">0.5</property>
  964.                           <property name="xpad">0</property>
  965.                           <property name="ypad">0</property>
  966.                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  967.                           <property name="width_chars">-1</property>
  968.                           <property name="single_line_mode">False</property>
  969.                           <property name="angle">0</property>
  970.                         </widget>
  971.                         <packing>
  972.                           <property name="padding">0</property>
  973.                           <property name="expand">False</property>
  974.                           <property name="fill">False</property>
  975.                         </packing>
  976.                       </child>
  977.                     </widget>
  978.                       </child>
  979.                     </widget>
  980.                   </child>
  981.                 </widget>
  982.                 <packing>
  983.                   <property name="padding">0</property>
  984.                   <property name="expand">False</property>
  985.                   <property name="fill">False</property>
  986.                 </packing>
  987.                   </child>
  988.  
  989.                   <child>
  990.                 <widget class="GtkButton" id="button_column_down">
  991.                   <property name="visible">True</property>
  992.                   <property name="can_focus">True</property>
  993.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  994.                   <property name="focus_on_click">True</property>
  995.                   <signal name="clicked" handler="on_button_column_down_clicked" last_modification_time="Fri, 16 Jul 2004 03:57:22 GMT"/>
  996.  
  997.                   <child>
  998.                     <widget class="GtkAlignment" id="alignment5">
  999.                       <property name="visible">True</property>
  1000.                       <property name="xalign">0.5</property>
  1001.                       <property name="yalign">0.5</property>
  1002.                       <property name="xscale">0</property>
  1003.                       <property name="yscale">0</property>
  1004.                       <property name="top_padding">0</property>
  1005.                       <property name="bottom_padding">0</property>
  1006.                       <property name="left_padding">0</property>
  1007.                       <property name="right_padding">0</property>
  1008.  
  1009.                       <child>
  1010.                     <widget class="GtkHBox" id="hbox81">
  1011.                       <property name="visible">True</property>
  1012.                       <property name="homogeneous">False</property>
  1013.                       <property name="spacing">2</property>
  1014.  
  1015.                       <child>
  1016.                         <widget class="GtkImage" id="image12">
  1017.                           <property name="visible">True</property>
  1018.                           <property name="stock">gtk-go-down</property>
  1019.                           <property name="icon_size">4</property>
  1020.                           <property name="xalign">0.5</property>
  1021.                           <property name="yalign">0.5</property>
  1022.                           <property name="xpad">0</property>
  1023.                           <property name="ypad">0</property>
  1024.                         </widget>
  1025.                         <packing>
  1026.                           <property name="padding">0</property>
  1027.                           <property name="expand">False</property>
  1028.                           <property name="fill">False</property>
  1029.                         </packing>
  1030.                       </child>
  1031.  
  1032.                       <child>
  1033.                         <widget class="GtkLabel" id="label164">
  1034.                           <property name="visible">True</property>
  1035.                           <property name="label" translatable="yes">Move D_own</property>
  1036.                           <property name="use_underline">True</property>
  1037.                           <property name="use_markup">False</property>
  1038.                           <property name="justify">GTK_JUSTIFY_LEFT</property>
  1039.                           <property name="wrap">False</property>
  1040.                           <property name="selectable">False</property>
  1041.                           <property name="xalign">0.5</property>
  1042.                           <property name="yalign">0.5</property>
  1043.                           <property name="xpad">0</property>
  1044.                           <property name="ypad">0</property>
  1045.                           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1046.                           <property name="width_chars">-1</property>
  1047.                           <property name="single_line_mode">False</property>
  1048.                           <property name="angle">0</property>
  1049.                         </widget>
  1050.                         <packing>
  1051.                           <property name="padding">0</property>
  1052.                           <property name="expand">False</property>
  1053.                           <property name="fill">False</property>
  1054.                         </packing>
  1055.                       </child>
  1056.                     </widget>
  1057.                       </child>
  1058.                     </widget>
  1059.                   </child>
  1060.                 </widget>
  1061.                 <packing>
  1062.                   <property name="padding">0</property>
  1063.                   <property name="expand">False</property>
  1064.                   <property name="fill">False</property>
  1065.                 </packing>
  1066.                   </child>
  1067.                 </widget>
  1068.                 <packing>
  1069.                   <property name="padding">0</property>
  1070.                   <property name="expand">False</property>
  1071.                   <property name="fill">False</property>
  1072.                 </packing>
  1073.               </child>
  1074.             </widget>
  1075.             <packing>
  1076.               <property name="padding">0</property>
  1077.               <property name="expand">True</property>
  1078.               <property name="fill">True</property>
  1079.             </packing>
  1080.               </child>
  1081.             </widget>
  1082.             <packing>
  1083.               <property name="padding">0</property>
  1084.               <property name="expand">True</property>
  1085.               <property name="fill">True</property>
  1086.             </packing>
  1087.           </child>
  1088.         </widget>
  1089.         <packing>
  1090.           <property name="padding">0</property>
  1091.           <property name="expand">False</property>
  1092.           <property name="fill">False</property>
  1093.         </packing>
  1094.           </child>
  1095.  
  1096.           <child>
  1097.         <widget class="GtkVBox" id="vbox37">
  1098.           <property name="visible">True</property>
  1099.           <property name="homogeneous">False</property>
  1100.           <property name="spacing">6</property>
  1101.  
  1102.           <child>
  1103.             <widget class="GtkLabel" id="label147">
  1104.               <property name="visible">True</property>
  1105.               <property name="label" translatable="yes"><b>Fonts</b></property>
  1106.               <property name="use_underline">False</property>
  1107.               <property name="use_markup">True</property>
  1108.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  1109.               <property name="wrap">False</property>
  1110.               <property name="selectable">False</property>
  1111.               <property name="xalign">0</property>
  1112.               <property name="yalign">0.5</property>
  1113.               <property name="xpad">0</property>
  1114.               <property name="ypad">0</property>
  1115.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1116.               <property name="width_chars">-1</property>
  1117.               <property name="single_line_mode">False</property>
  1118.               <property name="angle">0</property>
  1119.             </widget>
  1120.             <packing>
  1121.               <property name="padding">0</property>
  1122.               <property name="expand">False</property>
  1123.               <property name="fill">False</property>
  1124.             </packing>
  1125.           </child>
  1126.  
  1127.           <child>
  1128.             <widget class="GtkHBox" id="hbox68">
  1129.               <property name="visible">True</property>
  1130.               <property name="homogeneous">False</property>
  1131.               <property name="spacing">0</property>
  1132.  
  1133.               <child>
  1134.             <widget class="GtkLabel" id="label148">
  1135.               <property name="visible">True</property>
  1136.               <property name="label" translatable="yes">    </property>
  1137.               <property name="use_underline">False</property>
  1138.               <property name="use_markup">False</property>
  1139.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  1140.               <property name="wrap">False</property>
  1141.               <property name="selectable">False</property>
  1142.               <property name="xalign">0.5</property>
  1143.               <property name="yalign">0.5</property>
  1144.               <property name="xpad">0</property>
  1145.               <property name="ypad">0</property>
  1146.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1147.               <property name="width_chars">-1</property>
  1148.               <property name="single_line_mode">False</property>
  1149.               <property name="angle">0</property>
  1150.             </widget>
  1151.             <packing>
  1152.               <property name="padding">0</property>
  1153.               <property name="expand">False</property>
  1154.               <property name="fill">False</property>
  1155.             </packing>
  1156.               </child>
  1157.  
  1158.               <child>
  1159.             <widget class="GtkTable" id="table8">
  1160.               <property name="visible">True</property>
  1161.               <property name="n_rows">2</property>
  1162.               <property name="n_columns">2</property>
  1163.               <property name="homogeneous">False</property>
  1164.               <property name="row_spacing">6</property>
  1165.               <property name="column_spacing">12</property>
  1166.  
  1167.               <child>
  1168.                 <widget class="GtkCheckButton" id="checkbutton_user_font">
  1169.                   <property name="visible">True</property>
  1170.                   <property name="can_focus">True</property>
  1171.                   <property name="label" translatable="yes">Use custom application font</property>
  1172.                   <property name="use_underline">True</property>
  1173.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  1174.                   <property name="focus_on_click">True</property>
  1175.                   <property name="active">False</property>
  1176.                   <property name="inconsistent">False</property>
  1177.                   <property name="draw_indicator">True</property>
  1178.                   <signal name="toggled" handler="on_checkbutton_user_font_toggled" last_modification_time="Thu, 06 Nov 2003 23:10:08 GMT"/>
  1179.                 </widget>
  1180.                 <packing>
  1181.                   <property name="left_attach">0</property>
  1182.                   <property name="right_attach">1</property>
  1183.                   <property name="top_attach">0</property>
  1184.                   <property name="bottom_attach">1</property>
  1185.                   <property name="x_options">fill</property>
  1186.                   <property name="y_options"></property>
  1187.                 </packing>
  1188.               </child>
  1189.  
  1190.               <child>
  1191.                 <widget class="GtkCheckButton" id="checkbutton_user_terminal_font">
  1192.                   <property name="visible">True</property>
  1193.                   <property name="can_focus">True</property>
  1194.                   <property name="label" translatable="yes">Use custom terminal font</property>
  1195.                   <property name="use_underline">True</property>
  1196.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  1197.                   <property name="focus_on_click">True</property>
  1198.                   <property name="active">False</property>
  1199.                   <property name="inconsistent">False</property>
  1200.                   <property name="draw_indicator">True</property>
  1201.                   <signal name="toggled" handler="on_checkbutton_user_terminal_font_toggled" last_modification_time="Thu, 06 Nov 2003 23:10:15 GMT"/>
  1202.                 </widget>
  1203.                 <packing>
  1204.                   <property name="left_attach">0</property>
  1205.                   <property name="right_attach">1</property>
  1206.                   <property name="top_attach">1</property>
  1207.                   <property name="bottom_attach">2</property>
  1208.                   <property name="x_options">fill</property>
  1209.                   <property name="y_options"></property>
  1210.                 </packing>
  1211.               </child>
  1212.  
  1213.               <child>
  1214.                 <widget class="GtkButton" id="button_default_font">
  1215.                   <property name="visible">True</property>
  1216.                   <property name="can_focus">True</property>
  1217.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  1218.                   <property name="focus_on_click">True</property>
  1219.                   <signal name="clicked" handler="on_button_default_font_clicked" last_modification_time="Sun, 02 Nov 2003 14:15:14 GMT"/>
  1220.  
  1221.                   <child>
  1222.                 <widget class="GtkAlignment" id="alignment1">
  1223.                   <property name="visible">True</property>
  1224.                   <property name="xalign">0.5</property>
  1225.                   <property name="yalign">0.5</property>
  1226.                   <property name="xscale">0</property>
  1227.                   <property name="yscale">0</property>
  1228.                   <property name="top_padding">0</property>
  1229.                   <property name="bottom_padding">0</property>
  1230.                   <property name="left_padding">0</property>
  1231.                   <property name="right_padding">0</property>
  1232.  
  1233.                   <child>
  1234.                     <widget class="GtkHBox" id="hbox69">
  1235.                       <property name="visible">True</property>
  1236.                       <property name="homogeneous">False</property>
  1237.                       <property name="spacing">2</property>
  1238.  
  1239.                       <child>
  1240.                     <widget class="GtkImage" id="image8">
  1241.                       <property name="visible">True</property>
  1242.                       <property name="stock">gtk-select-font</property>
  1243.                       <property name="icon_size">4</property>
  1244.                       <property name="xalign">0.5</property>
  1245.                       <property name="yalign">0.5</property>
  1246.                       <property name="xpad">0</property>
  1247.                       <property name="ypad">0</property>
  1248.                     </widget>
  1249.                     <packing>
  1250.                       <property name="padding">0</property>
  1251.                       <property name="expand">False</property>
  1252.                       <property name="fill">False</property>
  1253.                     </packing>
  1254.                       </child>
  1255.  
  1256.                       <child>
  1257.                     <widget class="GtkLabel" id="label150">
  1258.                       <property name="visible">True</property>
  1259.                       <property name="label" translatable="yes">A_pplication Font</property>
  1260.                       <property name="use_underline">True</property>
  1261.                       <property name="use_markup">False</property>
  1262.                       <property name="justify">GTK_JUSTIFY_LEFT</property>
  1263.                       <property name="wrap">False</property>
  1264.                       <property name="selectable">False</property>
  1265.                       <property name="xalign">0.5</property>
  1266.                       <property name="yalign">0.5</property>
  1267.                       <property name="xpad">0</property>
  1268.                       <property name="ypad">0</property>
  1269.                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1270.                       <property name="width_chars">-1</property>
  1271.                       <property name="single_line_mode">False</property>
  1272.                       <property name="angle">0</property>
  1273.                     </widget>
  1274.                     <packing>
  1275.                       <property name="padding">0</property>
  1276.                       <property name="expand">False</property>
  1277.                       <property name="fill">False</property>
  1278.                     </packing>
  1279.                       </child>
  1280.                     </widget>
  1281.                   </child>
  1282.                 </widget>
  1283.                   </child>
  1284.                 </widget>
  1285.                 <packing>
  1286.                   <property name="left_attach">1</property>
  1287.                   <property name="right_attach">2</property>
  1288.                   <property name="top_attach">0</property>
  1289.                   <property name="bottom_attach">1</property>
  1290.                   <property name="y_options"></property>
  1291.                 </packing>
  1292.               </child>
  1293.  
  1294.               <child>
  1295.                 <widget class="GtkButton" id="button_terminal_font">
  1296.                   <property name="visible">True</property>
  1297.                   <property name="can_focus">True</property>
  1298.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  1299.                   <property name="focus_on_click">True</property>
  1300.                   <signal name="clicked" handler="on_button_terminal_font_clicked" last_modification_time="Sun, 02 Nov 2003 14:16:36 GMT"/>
  1301.  
  1302.                   <child>
  1303.                 <widget class="GtkAlignment" id="alignment2">
  1304.                   <property name="visible">True</property>
  1305.                   <property name="xalign">0.5</property>
  1306.                   <property name="yalign">0.5</property>
  1307.                   <property name="xscale">0</property>
  1308.                   <property name="yscale">0</property>
  1309.                   <property name="top_padding">0</property>
  1310.                   <property name="bottom_padding">0</property>
  1311.                   <property name="left_padding">0</property>
  1312.                   <property name="right_padding">0</property>
  1313.  
  1314.                   <child>
  1315.                     <widget class="GtkHBox" id="hbox70">
  1316.                       <property name="visible">True</property>
  1317.                       <property name="homogeneous">False</property>
  1318.                       <property name="spacing">2</property>
  1319.  
  1320.                       <child>
  1321.                     <widget class="GtkImage" id="image9">
  1322.                       <property name="visible">True</property>
  1323.                       <property name="stock">gtk-select-font</property>
  1324.                       <property name="icon_size">4</property>
  1325.                       <property name="xalign">0.5</property>
  1326.                       <property name="yalign">0.5</property>
  1327.                       <property name="xpad">0</property>
  1328.                       <property name="ypad">0</property>
  1329.                     </widget>
  1330.                     <packing>
  1331.                       <property name="padding">0</property>
  1332.                       <property name="expand">False</property>
  1333.                       <property name="fill">False</property>
  1334.                     </packing>
  1335.                       </child>
  1336.  
  1337.                       <child>
  1338.                     <widget class="GtkLabel" id="label151">
  1339.                       <property name="visible">True</property>
  1340.                       <property name="label" translatable="yes">_Terminal Font</property>
  1341.                       <property name="use_underline">True</property>
  1342.                       <property name="use_markup">False</property>
  1343.                       <property name="justify">GTK_JUSTIFY_LEFT</property>
  1344.                       <property name="wrap">False</property>
  1345.                       <property name="selectable">False</property>
  1346.                       <property name="xalign">0.5</property>
  1347.                       <property name="yalign">0.5</property>
  1348.                       <property name="xpad">0</property>
  1349.                       <property name="ypad">0</property>
  1350.                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1351.                       <property name="width_chars">-1</property>
  1352.                       <property name="single_line_mode">False</property>
  1353.                       <property name="angle">0</property>
  1354.                     </widget>
  1355.                     <packing>
  1356.                       <property name="padding">0</property>
  1357.                       <property name="expand">False</property>
  1358.                       <property name="fill">False</property>
  1359.                     </packing>
  1360.                       </child>
  1361.                     </widget>
  1362.                   </child>
  1363.                 </widget>
  1364.                   </child>
  1365.                 </widget>
  1366.                 <packing>
  1367.                   <property name="left_attach">1</property>
  1368.                   <property name="right_attach">2</property>
  1369.                   <property name="top_attach">1</property>
  1370.                   <property name="bottom_attach">2</property>
  1371.                   <property name="y_options"></property>
  1372.                 </packing>
  1373.               </child>
  1374.             </widget>
  1375.             <packing>
  1376.               <property name="padding">0</property>
  1377.               <property name="expand">True</property>
  1378.               <property name="fill">True</property>
  1379.             </packing>
  1380.               </child>
  1381.             </widget>
  1382.             <packing>
  1383.               <property name="padding">0</property>
  1384.               <property name="expand">True</property>
  1385.               <property name="fill">True</property>
  1386.             </packing>
  1387.           </child>
  1388.         </widget>
  1389.         <packing>
  1390.           <property name="padding">0</property>
  1391.           <property name="expand">False</property>
  1392.           <property name="fill">False</property>
  1393.         </packing>
  1394.           </child>
  1395.         </widget>
  1396.         <packing>
  1397.           <property name="tab_expand">False</property>
  1398.           <property name="tab_fill">False</property>
  1399.         </packing>
  1400.       </child>
  1401.  
  1402.       <child>
  1403.         <widget class="GtkLabel" id="label118">
  1404.           <property name="visible">True</property>
  1405.           <property name="label" translatable="yes">Columns and Fonts</property>
  1406.           <property name="use_underline">False</property>
  1407.           <property name="use_markup">False</property>
  1408.           <property name="justify">GTK_JUSTIFY_LEFT</property>
  1409.           <property name="wrap">False</property>
  1410.           <property name="selectable">False</property>
  1411.           <property name="xalign">0.5</property>
  1412.           <property name="yalign">0.5</property>
  1413.           <property name="xpad">0</property>
  1414.           <property name="ypad">0</property>
  1415.           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1416.           <property name="width_chars">-1</property>
  1417.           <property name="single_line_mode">False</property>
  1418.           <property name="angle">0</property>
  1419.         </widget>
  1420.         <packing>
  1421.           <property name="type">tab</property>
  1422.         </packing>
  1423.       </child>
  1424.  
  1425.       <child>
  1426.         <widget class="GtkVBox" id="vbox14">
  1427.           <property name="border_width">12</property>
  1428.           <property name="visible">True</property>
  1429.           <property name="homogeneous">False</property>
  1430.           <property name="spacing">18</property>
  1431.  
  1432.           <child>
  1433.         <widget class="GtkVBox" id="vbox15">
  1434.           <property name="visible">True</property>
  1435.           <property name="homogeneous">False</property>
  1436.           <property name="spacing">6</property>
  1437.  
  1438.           <child>
  1439.             <widget class="GtkLabel" id="label77">
  1440.               <property name="visible">True</property>
  1441.               <property name="label" translatable="yes"><b>Colors</b></property>
  1442.               <property name="use_underline">False</property>
  1443.               <property name="use_markup">True</property>
  1444.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  1445.               <property name="wrap">False</property>
  1446.               <property name="selectable">False</property>
  1447.               <property name="xalign">0</property>
  1448.               <property name="yalign">0.5</property>
  1449.               <property name="xpad">0</property>
  1450.               <property name="ypad">0</property>
  1451.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1452.               <property name="width_chars">-1</property>
  1453.               <property name="single_line_mode">False</property>
  1454.               <property name="angle">0</property>
  1455.             </widget>
  1456.             <packing>
  1457.               <property name="padding">0</property>
  1458.               <property name="expand">False</property>
  1459.               <property name="fill">False</property>
  1460.             </packing>
  1461.           </child>
  1462.  
  1463.           <child>
  1464.             <widget class="GtkHBox" id="hbox16">
  1465.               <property name="visible">True</property>
  1466.               <property name="homogeneous">False</property>
  1467.               <property name="spacing">0</property>
  1468.  
  1469.               <child>
  1470.             <widget class="GtkLabel" id="label87">
  1471.               <property name="visible">True</property>
  1472.               <property name="label" translatable="yes">    </property>
  1473.               <property name="use_underline">False</property>
  1474.               <property name="use_markup">False</property>
  1475.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  1476.               <property name="wrap">False</property>
  1477.               <property name="selectable">False</property>
  1478.               <property name="xalign">0.5</property>
  1479.               <property name="yalign">0.5</property>
  1480.               <property name="xpad">0</property>
  1481.               <property name="ypad">0</property>
  1482.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1483.               <property name="width_chars">-1</property>
  1484.               <property name="single_line_mode">False</property>
  1485.               <property name="angle">0</property>
  1486.             </widget>
  1487.             <packing>
  1488.               <property name="padding">0</property>
  1489.               <property name="expand">False</property>
  1490.               <property name="fill">False</property>
  1491.             </packing>
  1492.               </child>
  1493.  
  1494.               <child>
  1495.             <widget class="GtkVBox" id="vbox26">
  1496.               <property name="visible">True</property>
  1497.               <property name="homogeneous">False</property>
  1498.               <property name="spacing">6</property>
  1499.  
  1500.               <child>
  1501.                 <widget class="GtkCheckButton" id="check_use_colors">
  1502.                   <property name="border_width">2</property>
  1503.                   <property name="visible">True</property>
  1504.                   <property name="can_focus">True</property>
  1505.                   <property name="label" translatable="yes">Color packages by their status</property>
  1506.                   <property name="use_underline">True</property>
  1507.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  1508.                   <property name="focus_on_click">True</property>
  1509.                   <property name="active">False</property>
  1510.                   <property name="inconsistent">False</property>
  1511.                   <property name="draw_indicator">True</property>
  1512.                 </widget>
  1513.                 <packing>
  1514.                   <property name="padding">0</property>
  1515.                   <property name="expand">False</property>
  1516.                   <property name="fill">False</property>
  1517.                 </packing>
  1518.               </child>
  1519.  
  1520.               <child>
  1521.                 <widget class="GtkHBox" id="hbox60">
  1522.                   <property name="visible">True</property>
  1523.                   <property name="homogeneous">False</property>
  1524.                   <property name="spacing">0</property>
  1525.  
  1526.                   <child>
  1527.                 <widget class="GtkTable" id="table_colors">
  1528.                   <property name="visible">True</property>
  1529.                   <property name="n_rows">7</property>
  1530.                   <property name="n_columns">2</property>
  1531.                   <property name="homogeneous">False</property>
  1532.                   <property name="row_spacing">6</property>
  1533.                   <property name="column_spacing">24</property>
  1534.  
  1535.                   <child>
  1536.                     <widget class="GtkHBox" id="hbox55">
  1537.                       <property name="visible">True</property>
  1538.                       <property name="homogeneous">False</property>
  1539.                       <property name="spacing">12</property>
  1540.  
  1541.                       <child>
  1542.                     <widget class="GtkLabel" id="label103">
  1543.                       <property name="visible">True</property>
  1544.                       <property name="label" translatable="yes">Marked for installation:</property>
  1545.                       <property name="use_underline">False</property>
  1546.                       <property name="use_markup">False</property>
  1547.                       <property name="justify">GTK_JUSTIFY_LEFT</property>
  1548.                       <property name="wrap">False</property>
  1549.                       <property name="selectable">False</property>
  1550.                       <property name="xalign">0</property>
  1551.                       <property name="yalign">0.5</property>
  1552.                       <property name="xpad">0</property>
  1553.                       <property name="ypad">0</property>
  1554.                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1555.                       <property name="width_chars">-1</property>
  1556.                       <property name="single_line_mode">False</property>
  1557.                       <property name="angle">0</property>
  1558.                     </widget>
  1559.                     <packing>
  1560.                       <property name="padding">0</property>
  1561.                       <property name="expand">False</property>
  1562.                       <property name="fill">False</property>
  1563.                     </packing>
  1564.                       </child>
  1565.  
  1566.                       <child>
  1567.                     <widget class="GtkButton" id="button_install_color">
  1568.                       <property name="visible">True</property>
  1569.                       <property name="can_focus">True</property>
  1570.                       <property name="label" translatable="yes">Color</property>
  1571.                       <property name="use_underline">True</property>
  1572.                       <property name="relief">GTK_RELIEF_NORMAL</property>
  1573.                       <property name="focus_on_click">True</property>
  1574.                     </widget>
  1575.                     <packing>
  1576.                       <property name="padding">0</property>
  1577.                       <property name="expand">False</property>
  1578.                       <property name="fill">False</property>
  1579.                       <property name="pack_type">GTK_PACK_END</property>
  1580.                     </packing>
  1581.                       </child>
  1582.                     </widget>
  1583.                     <packing>
  1584.                       <property name="left_attach">0</property>
  1585.                       <property name="right_attach">1</property>
  1586.                       <property name="top_attach">0</property>
  1587.                       <property name="bottom_attach">1</property>
  1588.                       <property name="x_options">fill</property>
  1589.                       <property name="y_options">fill</property>
  1590.                     </packing>
  1591.                   </child>
  1592.  
  1593.                   <child>
  1594.                     <widget class="GtkHBox" id="hbox54">
  1595.                       <property name="visible">True</property>
  1596.                       <property name="homogeneous">False</property>
  1597.                       <property name="spacing">12</property>
  1598.  
  1599.                       <child>
  1600.                     <widget class="GtkLabel" id="label152">
  1601.                       <property name="visible">True</property>
  1602.                       <property name="label" translatable="yes">Marked for removal:</property>
  1603.                       <property name="use_underline">False</property>
  1604.                       <property name="use_markup">False</property>
  1605.                       <property name="justify">GTK_JUSTIFY_LEFT</property>
  1606.                       <property name="wrap">False</property>
  1607.                       <property name="selectable">False</property>
  1608.                       <property name="xalign">0</property>
  1609.                       <property name="yalign">0.5</property>
  1610.                       <property name="xpad">0</property>
  1611.                       <property name="ypad">0</property>
  1612.                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1613.                       <property name="width_chars">-1</property>
  1614.                       <property name="single_line_mode">False</property>
  1615.                       <property name="angle">0</property>
  1616.                     </widget>
  1617.                     <packing>
  1618.                       <property name="padding">0</property>
  1619.                       <property name="expand">False</property>
  1620.                       <property name="fill">False</property>
  1621.                     </packing>
  1622.                       </child>
  1623.  
  1624.                       <child>
  1625.                     <widget class="GtkButton" id="button_remove_color">
  1626.                       <property name="visible">True</property>
  1627.                       <property name="can_focus">True</property>
  1628.                       <property name="label" translatable="yes">Color</property>
  1629.                       <property name="use_underline">True</property>
  1630.                       <property name="relief">GTK_RELIEF_NORMAL</property>
  1631.                       <property name="focus_on_click">True</property>
  1632.                     </widget>
  1633.                     <packing>
  1634.                       <property name="padding">0</property>
  1635.                       <property name="expand">False</property>
  1636.                       <property name="fill">False</property>
  1637.                       <property name="pack_type">GTK_PACK_END</property>
  1638.                     </packing>
  1639.                       </child>
  1640.                     </widget>
  1641.                     <packing>
  1642.                       <property name="left_attach">0</property>
  1643.                       <property name="right_attach">1</property>
  1644.                       <property name="top_attach">1</property>
  1645.                       <property name="bottom_attach">2</property>
  1646.                       <property name="x_options">fill</property>
  1647.                       <property name="y_options">fill</property>
  1648.                     </packing>
  1649.                   </child>
  1650.  
  1651.                   <child>
  1652.                     <widget class="GtkHBox" id="hbox57">
  1653.                       <property name="visible">True</property>
  1654.                       <property name="homogeneous">False</property>
  1655.                       <property name="spacing">12</property>
  1656.  
  1657.                       <child>
  1658.                     <widget class="GtkLabel" id="label80">
  1659.                       <property name="visible">True</property>
  1660.                       <property name="label" translatable="yes">Marked for complete removal:</property>
  1661.                       <property name="use_underline">False</property>
  1662.                       <property name="use_markup">False</property>
  1663.                       <property name="justify">GTK_JUSTIFY_CENTER</property>
  1664.                       <property name="wrap">False</property>
  1665.                       <property name="selectable">False</property>
  1666.                       <property name="xalign">0</property>
  1667.                       <property name="yalign">0.5</property>
  1668.                       <property name="xpad">0</property>
  1669.                       <property name="ypad">0</property>
  1670.                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1671.                       <property name="width_chars">-1</property>
  1672.                       <property name="single_line_mode">False</property>
  1673.                       <property name="angle">0</property>
  1674.                     </widget>
  1675.                     <packing>
  1676.                       <property name="padding">0</property>
  1677.                       <property name="expand">False</property>
  1678.                       <property name="fill">False</property>
  1679.                     </packing>
  1680.                       </child>
  1681.  
  1682.                       <child>
  1683.                     <widget class="GtkButton" id="button_purge_color">
  1684.                       <property name="visible">True</property>
  1685.                       <property name="can_focus">True</property>
  1686.                       <property name="label" translatable="yes">Color</property>
  1687.                       <property name="use_underline">True</property>
  1688.                       <property name="relief">GTK_RELIEF_NORMAL</property>
  1689.                       <property name="focus_on_click">True</property>
  1690.                     </widget>
  1691.                     <packing>
  1692.                       <property name="padding">0</property>
  1693.                       <property name="expand">False</property>
  1694.                       <property name="fill">False</property>
  1695.                       <property name="pack_type">GTK_PACK_END</property>
  1696.                     </packing>
  1697.                       </child>
  1698.                     </widget>
  1699.                     <packing>
  1700.                       <property name="left_attach">1</property>
  1701.                       <property name="right_attach">2</property>
  1702.                       <property name="top_attach">1</property>
  1703.                       <property name="bottom_attach">2</property>
  1704.                       <property name="x_options">fill</property>
  1705.                       <property name="y_options">fill</property>
  1706.                     </packing>
  1707.                   </child>
  1708.  
  1709.                   <child>
  1710.                     <widget class="GtkHBox" id="hbox61">
  1711.                       <property name="visible">True</property>
  1712.                       <property name="homogeneous">False</property>
  1713.                       <property name="spacing">12</property>
  1714.  
  1715.                       <child>
  1716.                     <widget class="GtkLabel" id="label84">
  1717.                       <property name="visible">True</property>
  1718.                       <property name="label" translatable="yes">Upgradable:</property>
  1719.                       <property name="use_underline">False</property>
  1720.                       <property name="use_markup">False</property>
  1721.                       <property name="justify">GTK_JUSTIFY_CENTER</property>
  1722.                       <property name="wrap">False</property>
  1723.                       <property name="selectable">False</property>
  1724.                       <property name="xalign">0</property>
  1725.                       <property name="yalign">0.5</property>
  1726.                       <property name="xpad">0</property>
  1727.                       <property name="ypad">0</property>
  1728.                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1729.                       <property name="width_chars">-1</property>
  1730.                       <property name="single_line_mode">False</property>
  1731.                       <property name="angle">0</property>
  1732.                     </widget>
  1733.                     <packing>
  1734.                       <property name="padding">0</property>
  1735.                       <property name="expand">False</property>
  1736.                       <property name="fill">False</property>
  1737.                     </packing>
  1738.                       </child>
  1739.  
  1740.                       <child>
  1741.                     <widget class="GtkButton" id="button_installed-outdated_color">
  1742.                       <property name="visible">True</property>
  1743.                       <property name="can_focus">True</property>
  1744.                       <property name="label" translatable="yes">Color</property>
  1745.                       <property name="use_underline">True</property>
  1746.                       <property name="relief">GTK_RELIEF_NORMAL</property>
  1747.                       <property name="focus_on_click">True</property>
  1748.                     </widget>
  1749.                     <packing>
  1750.                       <property name="padding">0</property>
  1751.                       <property name="expand">False</property>
  1752.                       <property name="fill">False</property>
  1753.                       <property name="pack_type">GTK_PACK_END</property>
  1754.                     </packing>
  1755.                       </child>
  1756.                     </widget>
  1757.                     <packing>
  1758.                       <property name="left_attach">0</property>
  1759.                       <property name="right_attach">1</property>
  1760.                       <property name="top_attach">2</property>
  1761.                       <property name="bottom_attach">3</property>
  1762.                       <property name="x_options">fill</property>
  1763.                       <property name="y_options">fill</property>
  1764.                     </packing>
  1765.                   </child>
  1766.  
  1767.                   <child>
  1768.                     <widget class="GtkHBox" id="hbox74">
  1769.                       <property name="visible">True</property>
  1770.                       <property name="homogeneous">False</property>
  1771.                       <property name="spacing">12</property>
  1772.  
  1773.                       <child>
  1774.                     <widget class="GtkLabel" id="label156">
  1775.                       <property name="visible">True</property>
  1776.                       <property name="label" translatable="yes">Marked for reinstallation:</property>
  1777.                       <property name="use_underline">False</property>
  1778.                       <property name="use_markup">False</property>
  1779.                       <property name="justify">GTK_JUSTIFY_LEFT</property>
  1780.                       <property name="wrap">False</property>
  1781.                       <property name="selectable">False</property>
  1782.                       <property name="xalign">0</property>
  1783.                       <property name="yalign">0.5</property>
  1784.                       <property name="xpad">0</property>
  1785.                       <property name="ypad">0</property>
  1786.                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1787.                       <property name="width_chars">-1</property>
  1788.                       <property name="single_line_mode">False</property>
  1789.                       <property name="angle">0</property>
  1790.                     </widget>
  1791.                     <packing>
  1792.                       <property name="padding">0</property>
  1793.                       <property name="expand">False</property>
  1794.                       <property name="fill">False</property>
  1795.                     </packing>
  1796.                       </child>
  1797.  
  1798.                       <child>
  1799.                     <widget class="GtkButton" id="button_reinstall_color">
  1800.                       <property name="visible">True</property>
  1801.                       <property name="can_focus">True</property>
  1802.                       <property name="label" translatable="yes">Color</property>
  1803.                       <property name="use_underline">True</property>
  1804.                       <property name="relief">GTK_RELIEF_NORMAL</property>
  1805.                       <property name="focus_on_click">True</property>
  1806.                     </widget>
  1807.                     <packing>
  1808.                       <property name="padding">0</property>
  1809.                       <property name="expand">False</property>
  1810.                       <property name="fill">False</property>
  1811.                       <property name="pack_type">GTK_PACK_END</property>
  1812.                     </packing>
  1813.                       </child>
  1814.                     </widget>
  1815.                     <packing>
  1816.                       <property name="left_attach">1</property>
  1817.                       <property name="right_attach">2</property>
  1818.                       <property name="top_attach">0</property>
  1819.                       <property name="bottom_attach">1</property>
  1820.                       <property name="x_options">fill</property>
  1821.                       <property name="y_options">fill</property>
  1822.                     </packing>
  1823.                   </child>
  1824.  
  1825.                   <child>
  1826.                     <widget class="GtkHBox" id="hbox56">
  1827.                       <property name="visible">True</property>
  1828.                       <property name="homogeneous">False</property>
  1829.                       <property name="spacing">12</property>
  1830.  
  1831.                       <child>
  1832.                     <widget class="GtkLabel" id="label83">
  1833.                       <property name="visible">True</property>
  1834.                       <property name="label" translatable="yes">Marked for upgrade:</property>
  1835.                       <property name="use_underline">False</property>
  1836.                       <property name="use_markup">False</property>
  1837.                       <property name="justify">GTK_JUSTIFY_CENTER</property>
  1838.                       <property name="wrap">False</property>
  1839.                       <property name="selectable">False</property>
  1840.                       <property name="xalign">0</property>
  1841.                       <property name="yalign">0.5</property>
  1842.                       <property name="xpad">0</property>
  1843.                       <property name="ypad">0</property>
  1844.                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1845.                       <property name="width_chars">-1</property>
  1846.                       <property name="single_line_mode">False</property>
  1847.                       <property name="angle">0</property>
  1848.                     </widget>
  1849.                     <packing>
  1850.                       <property name="padding">0</property>
  1851.                       <property name="expand">False</property>
  1852.                       <property name="fill">False</property>
  1853.                     </packing>
  1854.                       </child>
  1855.  
  1856.                       <child>
  1857.                     <widget class="GtkButton" id="button_upgrade_color">
  1858.                       <property name="visible">True</property>
  1859.                       <property name="can_focus">True</property>
  1860.                       <property name="label" translatable="yes">Color</property>
  1861.                       <property name="use_underline">True</property>
  1862.                       <property name="relief">GTK_RELIEF_NORMAL</property>
  1863.                       <property name="focus_on_click">True</property>
  1864.                     </widget>
  1865.                     <packing>
  1866.                       <property name="padding">0</property>
  1867.                       <property name="expand">False</property>
  1868.                       <property name="fill">False</property>
  1869.                       <property name="pack_type">GTK_PACK_END</property>
  1870.                     </packing>
  1871.                       </child>
  1872.                     </widget>
  1873.                     <packing>
  1874.                       <property name="left_attach">1</property>
  1875.                       <property name="right_attach">2</property>
  1876.                       <property name="top_attach">2</property>
  1877.                       <property name="bottom_attach">3</property>
  1878.                       <property name="x_options">fill</property>
  1879.                       <property name="y_options">fill</property>
  1880.                     </packing>
  1881.                   </child>
  1882.  
  1883.                   <child>
  1884.                     <widget class="GtkHBox" id="hbox60">
  1885.                       <property name="visible">True</property>
  1886.                       <property name="homogeneous">False</property>
  1887.                       <property name="spacing">12</property>
  1888.  
  1889.                       <child>
  1890.                     <widget class="GtkLabel" id="label86">
  1891.                       <property name="visible">True</property>
  1892.                       <property name="label" translatable="yes">Not installed:</property>
  1893.                       <property name="use_underline">False</property>
  1894.                       <property name="use_markup">False</property>
  1895.                       <property name="justify">GTK_JUSTIFY_CENTER</property>
  1896.                       <property name="wrap">False</property>
  1897.                       <property name="selectable">False</property>
  1898.                       <property name="xalign">0</property>
  1899.                       <property name="yalign">0.5</property>
  1900.                       <property name="xpad">0</property>
  1901.                       <property name="ypad">0</property>
  1902.                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1903.                       <property name="width_chars">-1</property>
  1904.                       <property name="single_line_mode">False</property>
  1905.                       <property name="angle">0</property>
  1906.                     </widget>
  1907.                     <packing>
  1908.                       <property name="padding">0</property>
  1909.                       <property name="expand">False</property>
  1910.                       <property name="fill">False</property>
  1911.                     </packing>
  1912.                       </child>
  1913.  
  1914.                       <child>
  1915.                     <widget class="GtkButton" id="button_available_color">
  1916.                       <property name="visible">True</property>
  1917.                       <property name="can_focus">True</property>
  1918.                       <property name="label" translatable="yes">Color</property>
  1919.                       <property name="use_underline">True</property>
  1920.                       <property name="relief">GTK_RELIEF_NORMAL</property>
  1921.                       <property name="focus_on_click">True</property>
  1922.                     </widget>
  1923.                     <packing>
  1924.                       <property name="padding">0</property>
  1925.                       <property name="expand">False</property>
  1926.                       <property name="fill">False</property>
  1927.                       <property name="pack_type">GTK_PACK_END</property>
  1928.                     </packing>
  1929.                       </child>
  1930.                     </widget>
  1931.                     <packing>
  1932.                       <property name="left_attach">0</property>
  1933.                       <property name="right_attach">1</property>
  1934.                       <property name="top_attach">5</property>
  1935.                       <property name="bottom_attach">6</property>
  1936.                       <property name="x_options">fill</property>
  1937.                       <property name="y_options">fill</property>
  1938.                     </packing>
  1939.                   </child>
  1940.  
  1941.                   <child>
  1942.                     <widget class="GtkHBox" id="hbox53">
  1943.                       <property name="visible">True</property>
  1944.                       <property name="homogeneous">False</property>
  1945.                       <property name="spacing">12</property>
  1946.  
  1947.                       <child>
  1948.                     <widget class="GtkLabel" id="label105">
  1949.                       <property name="visible">True</property>
  1950.                       <property name="label" translatable="yes">Not installed (locked):</property>
  1951.                       <property name="use_underline">False</property>
  1952.                       <property name="use_markup">False</property>
  1953.                       <property name="justify">GTK_JUSTIFY_LEFT</property>
  1954.                       <property name="wrap">False</property>
  1955.                       <property name="selectable">False</property>
  1956.                       <property name="xalign">0</property>
  1957.                       <property name="yalign">0.5</property>
  1958.                       <property name="xpad">0</property>
  1959.                       <property name="ypad">0</property>
  1960.                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1961.                       <property name="width_chars">-1</property>
  1962.                       <property name="single_line_mode">False</property>
  1963.                       <property name="angle">0</property>
  1964.                     </widget>
  1965.                     <packing>
  1966.                       <property name="padding">0</property>
  1967.                       <property name="expand">False</property>
  1968.                       <property name="fill">False</property>
  1969.                     </packing>
  1970.                       </child>
  1971.  
  1972.                       <child>
  1973.                     <widget class="GtkButton" id="button_available-locked_color">
  1974.                       <property name="visible">True</property>
  1975.                       <property name="can_focus">True</property>
  1976.                       <property name="label" translatable="yes">Color</property>
  1977.                       <property name="use_underline">True</property>
  1978.                       <property name="relief">GTK_RELIEF_NORMAL</property>
  1979.                       <property name="focus_on_click">True</property>
  1980.                     </widget>
  1981.                     <packing>
  1982.                       <property name="padding">0</property>
  1983.                       <property name="expand">False</property>
  1984.                       <property name="fill">False</property>
  1985.                       <property name="pack_type">GTK_PACK_END</property>
  1986.                     </packing>
  1987.                       </child>
  1988.                     </widget>
  1989.                     <packing>
  1990.                       <property name="left_attach">1</property>
  1991.                       <property name="right_attach">2</property>
  1992.                       <property name="top_attach">5</property>
  1993.                       <property name="bottom_attach">6</property>
  1994.                       <property name="x_options">fill</property>
  1995.                       <property name="y_options">fill</property>
  1996.                     </packing>
  1997.                   </child>
  1998.  
  1999.                   <child>
  2000.                     <widget class="GtkHBox" id="hbox71">
  2001.                       <property name="visible">True</property>
  2002.                       <property name="homogeneous">False</property>
  2003.                       <property name="spacing">12</property>
  2004.  
  2005.                       <child>
  2006.                     <widget class="GtkLabel" id="label153">
  2007.                       <property name="visible">True</property>
  2008.                       <property name="label" translatable="yes">Installed (locked):</property>
  2009.                       <property name="use_underline">False</property>
  2010.                       <property name="use_markup">False</property>
  2011.                       <property name="justify">GTK_JUSTIFY_CENTER</property>
  2012.                       <property name="wrap">False</property>
  2013.                       <property name="selectable">False</property>
  2014.                       <property name="xalign">0</property>
  2015.                       <property name="yalign">0.5</property>
  2016.                       <property name="xpad">0</property>
  2017.                       <property name="ypad">0</property>
  2018.                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2019.                       <property name="width_chars">-1</property>
  2020.                       <property name="single_line_mode">False</property>
  2021.                       <property name="angle">0</property>
  2022.                     </widget>
  2023.                     <packing>
  2024.                       <property name="padding">0</property>
  2025.                       <property name="expand">False</property>
  2026.                       <property name="fill">False</property>
  2027.                     </packing>
  2028.                       </child>
  2029.  
  2030.                       <child>
  2031.                     <widget class="GtkButton" id="button_installed-locked_color">
  2032.                       <property name="visible">True</property>
  2033.                       <property name="can_focus">True</property>
  2034.                       <property name="label" translatable="yes">Color</property>
  2035.                       <property name="use_underline">True</property>
  2036.                       <property name="relief">GTK_RELIEF_NORMAL</property>
  2037.                       <property name="focus_on_click">True</property>
  2038.                     </widget>
  2039.                     <packing>
  2040.                       <property name="padding">0</property>
  2041.                       <property name="expand">False</property>
  2042.                       <property name="fill">False</property>
  2043.                       <property name="pack_type">GTK_PACK_END</property>
  2044.                     </packing>
  2045.                       </child>
  2046.                     </widget>
  2047.                     <packing>
  2048.                       <property name="left_attach">1</property>
  2049.                       <property name="right_attach">2</property>
  2050.                       <property name="top_attach">4</property>
  2051.                       <property name="bottom_attach">5</property>
  2052.                       <property name="x_options">fill</property>
  2053.                       <property name="y_options">fill</property>
  2054.                     </packing>
  2055.                   </child>
  2056.  
  2057.                   <child>
  2058.                     <widget class="GtkHBox" id="hbox58">
  2059.                       <property name="visible">True</property>
  2060.                       <property name="homogeneous">False</property>
  2061.                       <property name="spacing">12</property>
  2062.  
  2063.                       <child>
  2064.                     <widget class="GtkLabel" id="label81">
  2065.                       <property name="visible">True</property>
  2066.                       <property name="label" translatable="yes">Installed:</property>
  2067.                       <property name="use_underline">False</property>
  2068.                       <property name="use_markup">False</property>
  2069.                       <property name="justify">GTK_JUSTIFY_CENTER</property>
  2070.                       <property name="wrap">False</property>
  2071.                       <property name="selectable">False</property>
  2072.                       <property name="xalign">0</property>
  2073.                       <property name="yalign">0.5</property>
  2074.                       <property name="xpad">0</property>
  2075.                       <property name="ypad">0</property>
  2076.                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2077.                       <property name="width_chars">-1</property>
  2078.                       <property name="single_line_mode">False</property>
  2079.                       <property name="angle">0</property>
  2080.                     </widget>
  2081.                     <packing>
  2082.                       <property name="padding">0</property>
  2083.                       <property name="expand">False</property>
  2084.                       <property name="fill">False</property>
  2085.                     </packing>
  2086.                       </child>
  2087.  
  2088.                       <child>
  2089.                     <widget class="GtkButton" id="button_installed-updated_color">
  2090.                       <property name="visible">True</property>
  2091.                       <property name="can_focus">True</property>
  2092.                       <property name="label" translatable="yes">Color</property>
  2093.                       <property name="use_underline">True</property>
  2094.                       <property name="relief">GTK_RELIEF_NORMAL</property>
  2095.                       <property name="focus_on_click">True</property>
  2096.                     </widget>
  2097.                     <packing>
  2098.                       <property name="padding">0</property>
  2099.                       <property name="expand">False</property>
  2100.                       <property name="fill">False</property>
  2101.                       <property name="pack_type">GTK_PACK_END</property>
  2102.                     </packing>
  2103.                       </child>
  2104.                     </widget>
  2105.                     <packing>
  2106.                       <property name="left_attach">0</property>
  2107.                       <property name="right_attach">1</property>
  2108.                       <property name="top_attach">4</property>
  2109.                       <property name="bottom_attach">5</property>
  2110.                       <property name="x_options">fill</property>
  2111.                       <property name="y_options">fill</property>
  2112.                     </packing>
  2113.                   </child>
  2114.  
  2115.                   <child>
  2116.                     <widget class="GtkHBox" id="hbox73">
  2117.                       <property name="visible">True</property>
  2118.                       <property name="homogeneous">False</property>
  2119.                       <property name="spacing">12</property>
  2120.  
  2121.                       <child>
  2122.                     <widget class="GtkLabel" id="label155">
  2123.                       <property name="visible">True</property>
  2124.                       <property name="label" translatable="yes">New in repository:</property>
  2125.                       <property name="use_underline">False</property>
  2126.                       <property name="use_markup">False</property>
  2127.                       <property name="justify">GTK_JUSTIFY_CENTER</property>
  2128.                       <property name="wrap">False</property>
  2129.                       <property name="selectable">False</property>
  2130.                       <property name="xalign">0</property>
  2131.                       <property name="yalign">0.5</property>
  2132.                       <property name="xpad">0</property>
  2133.                       <property name="ypad">0</property>
  2134.                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2135.                       <property name="width_chars">-1</property>
  2136.                       <property name="single_line_mode">False</property>
  2137.                       <property name="angle">0</property>
  2138.                     </widget>
  2139.                     <packing>
  2140.                       <property name="padding">0</property>
  2141.                       <property name="expand">False</property>
  2142.                       <property name="fill">False</property>
  2143.                     </packing>
  2144.                       </child>
  2145.  
  2146.                       <child>
  2147.                     <widget class="GtkButton" id="button_new_color">
  2148.                       <property name="visible">True</property>
  2149.                       <property name="can_focus">True</property>
  2150.                       <property name="label" translatable="yes">Color</property>
  2151.                       <property name="use_underline">True</property>
  2152.                       <property name="relief">GTK_RELIEF_NORMAL</property>
  2153.                       <property name="focus_on_click">True</property>
  2154.                     </widget>
  2155.                     <packing>
  2156.                       <property name="padding">0</property>
  2157.                       <property name="expand">False</property>
  2158.                       <property name="fill">False</property>
  2159.                       <property name="pack_type">GTK_PACK_END</property>
  2160.                     </packing>
  2161.                       </child>
  2162.                     </widget>
  2163.                     <packing>
  2164.                       <property name="left_attach">0</property>
  2165.                       <property name="right_attach">1</property>
  2166.                       <property name="top_attach">6</property>
  2167.                       <property name="bottom_attach">7</property>
  2168.                       <property name="x_options">fill</property>
  2169.                     </packing>
  2170.                   </child>
  2171.  
  2172.                   <child>
  2173.                     <widget class="GtkHBox" id="hbox59">
  2174.                       <property name="visible">True</property>
  2175.                       <property name="homogeneous">False</property>
  2176.                       <property name="spacing">12</property>
  2177.  
  2178.                       <child>
  2179.                     <widget class="GtkLabel" id="label85">
  2180.                       <property name="visible">True</property>
  2181.                       <property name="label" translatable="yes">Marked for downgrade:</property>
  2182.                       <property name="use_underline">False</property>
  2183.                       <property name="use_markup">False</property>
  2184.                       <property name="justify">GTK_JUSTIFY_CENTER</property>
  2185.                       <property name="wrap">False</property>
  2186.                       <property name="selectable">False</property>
  2187.                       <property name="xalign">0</property>
  2188.                       <property name="yalign">0.5</property>
  2189.                       <property name="xpad">0</property>
  2190.                       <property name="ypad">0</property>
  2191.                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2192.                       <property name="width_chars">-1</property>
  2193.                       <property name="single_line_mode">False</property>
  2194.                       <property name="angle">0</property>
  2195.                     </widget>
  2196.                     <packing>
  2197.                       <property name="padding">0</property>
  2198.                       <property name="expand">False</property>
  2199.                       <property name="fill">False</property>
  2200.                     </packing>
  2201.                       </child>
  2202.  
  2203.                       <child>
  2204.                     <widget class="GtkButton" id="button_downgrade_color">
  2205.                       <property name="visible">True</property>
  2206.                       <property name="can_focus">True</property>
  2207.                       <property name="label" translatable="yes">Color</property>
  2208.                       <property name="use_underline">True</property>
  2209.                       <property name="relief">GTK_RELIEF_NORMAL</property>
  2210.                       <property name="focus_on_click">True</property>
  2211.                     </widget>
  2212.                     <packing>
  2213.                       <property name="padding">0</property>
  2214.                       <property name="expand">False</property>
  2215.                       <property name="fill">False</property>
  2216.                       <property name="pack_type">GTK_PACK_END</property>
  2217.                     </packing>
  2218.                       </child>
  2219.                     </widget>
  2220.                     <packing>
  2221.                       <property name="left_attach">1</property>
  2222.                       <property name="right_attach">2</property>
  2223.                       <property name="top_attach">3</property>
  2224.                       <property name="bottom_attach">4</property>
  2225.                       <property name="x_options">fill</property>
  2226.                       <property name="y_options">fill</property>
  2227.                     </packing>
  2228.                   </child>
  2229.  
  2230.                   <child>
  2231.                     <widget class="GtkHBox" id="hbox72">
  2232.                       <property name="visible">True</property>
  2233.                       <property name="homogeneous">False</property>
  2234.                       <property name="spacing">12</property>
  2235.  
  2236.                       <child>
  2237.                     <widget class="GtkLabel" id="label154">
  2238.                       <property name="visible">True</property>
  2239.                       <property name="label" translatable="yes">Broken:</property>
  2240.                       <property name="use_underline">False</property>
  2241.                       <property name="use_markup">False</property>
  2242.                       <property name="justify">GTK_JUSTIFY_CENTER</property>
  2243.                       <property name="wrap">False</property>
  2244.                       <property name="selectable">False</property>
  2245.                       <property name="xalign">0</property>
  2246.                       <property name="yalign">0.5</property>
  2247.                       <property name="xpad">0</property>
  2248.                       <property name="ypad">0</property>
  2249.                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2250.                       <property name="width_chars">-1</property>
  2251.                       <property name="single_line_mode">False</property>
  2252.                       <property name="angle">0</property>
  2253.                     </widget>
  2254.                     <packing>
  2255.                       <property name="padding">0</property>
  2256.                       <property name="expand">False</property>
  2257.                       <property name="fill">False</property>
  2258.                     </packing>
  2259.                       </child>
  2260.  
  2261.                       <child>
  2262.                     <widget class="GtkButton" id="button_broken_color">
  2263.                       <property name="visible">True</property>
  2264.                       <property name="can_focus">True</property>
  2265.                       <property name="label" translatable="yes">Color</property>
  2266.                       <property name="use_underline">True</property>
  2267.                       <property name="relief">GTK_RELIEF_NORMAL</property>
  2268.                       <property name="focus_on_click">True</property>
  2269.                     </widget>
  2270.                     <packing>
  2271.                       <property name="padding">0</property>
  2272.                       <property name="expand">False</property>
  2273.                       <property name="fill">False</property>
  2274.                       <property name="pack_type">GTK_PACK_END</property>
  2275.                     </packing>
  2276.                       </child>
  2277.                     </widget>
  2278.                     <packing>
  2279.                       <property name="left_attach">0</property>
  2280.                       <property name="right_attach">1</property>
  2281.                       <property name="top_attach">3</property>
  2282.                       <property name="bottom_attach">4</property>
  2283.                       <property name="x_options">fill</property>
  2284.                       <property name="y_options">fill</property>
  2285.                     </packing>
  2286.                   </child>
  2287.                 </widget>
  2288.                 <packing>
  2289.                   <property name="padding">0</property>
  2290.                   <property name="expand">True</property>
  2291.                   <property name="fill">True</property>
  2292.                 </packing>
  2293.                   </child>
  2294.                 </widget>
  2295.                 <packing>
  2296.                   <property name="padding">0</property>
  2297.                   <property name="expand">False</property>
  2298.                   <property name="fill">False</property>
  2299.                 </packing>
  2300.               </child>
  2301.             </widget>
  2302.             <packing>
  2303.               <property name="padding">0</property>
  2304.               <property name="expand">True</property>
  2305.               <property name="fill">True</property>
  2306.             </packing>
  2307.               </child>
  2308.             </widget>
  2309.             <packing>
  2310.               <property name="padding">0</property>
  2311.               <property name="expand">False</property>
  2312.               <property name="fill">False</property>
  2313.             </packing>
  2314.           </child>
  2315.         </widget>
  2316.         <packing>
  2317.           <property name="padding">0</property>
  2318.           <property name="expand">False</property>
  2319.           <property name="fill">False</property>
  2320.         </packing>
  2321.           </child>
  2322.         </widget>
  2323.         <packing>
  2324.           <property name="tab_expand">False</property>
  2325.           <property name="tab_fill">False</property>
  2326.         </packing>
  2327.       </child>
  2328.  
  2329.       <child>
  2330.         <widget class="GtkLabel" id="label61">
  2331.           <property name="visible">True</property>
  2332.           <property name="label" translatable="yes">Colors</property>
  2333.           <property name="use_underline">False</property>
  2334.           <property name="use_markup">False</property>
  2335.           <property name="justify">GTK_JUSTIFY_CENTER</property>
  2336.           <property name="wrap">False</property>
  2337.           <property name="selectable">False</property>
  2338.           <property name="xalign">0.5</property>
  2339.           <property name="yalign">0.5</property>
  2340.           <property name="xpad">0</property>
  2341.           <property name="ypad">0</property>
  2342.           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2343.           <property name="width_chars">-1</property>
  2344.           <property name="single_line_mode">False</property>
  2345.           <property name="angle">0</property>
  2346.         </widget>
  2347.         <packing>
  2348.           <property name="type">tab</property>
  2349.         </packing>
  2350.       </child>
  2351.  
  2352.       <child>
  2353.         <widget class="GtkVBox" id="vbox23">
  2354.           <property name="border_width">12</property>
  2355.           <property name="visible">True</property>
  2356.           <property name="homogeneous">False</property>
  2357.           <property name="spacing">18</property>
  2358.  
  2359.           <child>
  2360.         <widget class="GtkVBox" id="vbox24">
  2361.           <property name="visible">True</property>
  2362.           <property name="homogeneous">False</property>
  2363.           <property name="spacing">6</property>
  2364.  
  2365.           <child>
  2366.             <widget class="GtkLabel" id="label111">
  2367.               <property name="visible">True</property>
  2368.               <property name="label" translatable="yes"><b>Temporary Files</b></property>
  2369.               <property name="use_underline">False</property>
  2370.               <property name="use_markup">True</property>
  2371.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  2372.               <property name="wrap">False</property>
  2373.               <property name="selectable">False</property>
  2374.               <property name="xalign">0</property>
  2375.               <property name="yalign">0.5</property>
  2376.               <property name="xpad">0</property>
  2377.               <property name="ypad">0</property>
  2378.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2379.               <property name="width_chars">-1</property>
  2380.               <property name="single_line_mode">False</property>
  2381.               <property name="angle">0</property>
  2382.             </widget>
  2383.             <packing>
  2384.               <property name="padding">0</property>
  2385.               <property name="expand">False</property>
  2386.               <property name="fill">False</property>
  2387.             </packing>
  2388.           </child>
  2389.  
  2390.           <child>
  2391.             <widget class="GtkHBox" id="hbox31">
  2392.               <property name="visible">True</property>
  2393.               <property name="homogeneous">False</property>
  2394.               <property name="spacing">0</property>
  2395.  
  2396.               <child>
  2397.             <widget class="GtkLabel" id="label110">
  2398.               <property name="visible">True</property>
  2399.               <property name="label" translatable="yes">    </property>
  2400.               <property name="use_underline">False</property>
  2401.               <property name="use_markup">False</property>
  2402.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  2403.               <property name="wrap">False</property>
  2404.               <property name="selectable">False</property>
  2405.               <property name="xalign">0.5</property>
  2406.               <property name="yalign">0.5</property>
  2407.               <property name="xpad">0</property>
  2408.               <property name="ypad">0</property>
  2409.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2410.               <property name="width_chars">-1</property>
  2411.               <property name="single_line_mode">False</property>
  2412.               <property name="angle">0</property>
  2413.             </widget>
  2414.             <packing>
  2415.               <property name="padding">0</property>
  2416.               <property name="expand">False</property>
  2417.               <property name="fill">False</property>
  2418.             </packing>
  2419.               </child>
  2420.  
  2421.               <child>
  2422.             <widget class="GtkVBox" id="vbox25">
  2423.               <property name="visible">True</property>
  2424.               <property name="homogeneous">False</property>
  2425.               <property name="spacing">6</property>
  2426.  
  2427.               <child>
  2428.                 <widget class="GtkRadioButton" id="radio_cache_leave">
  2429.                   <property name="visible">True</property>
  2430.                   <property name="can_focus">True</property>
  2431.                   <property name="label" translatable="yes">_Leave all downloaded packages in the cache</property>
  2432.                   <property name="use_underline">True</property>
  2433.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  2434.                   <property name="focus_on_click">True</property>
  2435.                   <property name="active">True</property>
  2436.                   <property name="inconsistent">False</property>
  2437.                   <property name="draw_indicator">True</property>
  2438.                 </widget>
  2439.                 <packing>
  2440.                   <property name="padding">0</property>
  2441.                   <property name="expand">False</property>
  2442.                   <property name="fill">False</property>
  2443.                 </packing>
  2444.               </child>
  2445.  
  2446.               <child>
  2447.                 <widget class="GtkRadioButton" id="radio_cache_del_after">
  2448.                   <property name="visible">True</property>
  2449.                   <property name="can_focus">True</property>
  2450.                   <property name="label" translatable="yes">_Delete downloaded packages after installation</property>
  2451.                   <property name="use_underline">True</property>
  2452.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  2453.                   <property name="focus_on_click">True</property>
  2454.                   <property name="active">False</property>
  2455.                   <property name="inconsistent">False</property>
  2456.                   <property name="draw_indicator">True</property>
  2457.                   <property name="group">radio_cache_leave</property>
  2458.                 </widget>
  2459.                 <packing>
  2460.                   <property name="padding">0</property>
  2461.                   <property name="expand">False</property>
  2462.                   <property name="fill">False</property>
  2463.                 </packing>
  2464.               </child>
  2465.  
  2466.               <child>
  2467.                 <widget class="GtkRadioButton" id="radio_cache_del_obsolete">
  2468.                   <property name="visible">True</property>
  2469.                   <property name="can_focus">True</property>
  2470.                   <property name="label" translatable="yes">_Only delete packages which are no longer available</property>
  2471.                   <property name="use_underline">True</property>
  2472.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  2473.                   <property name="focus_on_click">True</property>
  2474.                   <property name="active">False</property>
  2475.                   <property name="inconsistent">False</property>
  2476.                   <property name="draw_indicator">True</property>
  2477.                   <property name="group">radio_cache_leave</property>
  2478.                 </widget>
  2479.                 <packing>
  2480.                   <property name="padding">0</property>
  2481.                   <property name="expand">False</property>
  2482.                   <property name="fill">False</property>
  2483.                 </packing>
  2484.               </child>
  2485.  
  2486.               <child>
  2487.                 <widget class="GtkHBox" id="hbox32">
  2488.                   <property name="visible">True</property>
  2489.                   <property name="homogeneous">False</property>
  2490.                   <property name="spacing">0</property>
  2491.  
  2492.                   <child>
  2493.                 <widget class="GtkButton" id="button_clean_cache">
  2494.                   <property name="visible">True</property>
  2495.                   <property name="tooltip" translatable="yes">Delete all cache package files now.</property>
  2496.                   <property name="can_focus">True</property>
  2497.                   <property name="label" translatable="yes">_Delete Cached Package Files</property>
  2498.                   <property name="use_underline">True</property>
  2499.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  2500.                   <property name="focus_on_click">True</property>
  2501.                   <signal name="clicked" handler="on_button_clean_cache_clicked" last_modification_time="Wed, 10 Sep 2003 11:05:20 GMT"/>
  2502.                 </widget>
  2503.                 <packing>
  2504.                   <property name="padding">0</property>
  2505.                   <property name="expand">False</property>
  2506.                   <property name="fill">False</property>
  2507.                 </packing>
  2508.                   </child>
  2509.  
  2510.                   <child>
  2511.                 <placeholder/>
  2512.                   </child>
  2513.                 </widget>
  2514.                 <packing>
  2515.                   <property name="padding">0</property>
  2516.                   <property name="expand">False</property>
  2517.                   <property name="fill">False</property>
  2518.                 </packing>
  2519.               </child>
  2520.             </widget>
  2521.             <packing>
  2522.               <property name="padding">0</property>
  2523.               <property name="expand">False</property>
  2524.               <property name="fill">False</property>
  2525.             </packing>
  2526.               </child>
  2527.             </widget>
  2528.             <packing>
  2529.               <property name="padding">0</property>
  2530.               <property name="expand">False</property>
  2531.               <property name="fill">False</property>
  2532.             </packing>
  2533.           </child>
  2534.         </widget>
  2535.         <packing>
  2536.           <property name="padding">0</property>
  2537.           <property name="expand">False</property>
  2538.           <property name="fill">False</property>
  2539.         </packing>
  2540.           </child>
  2541.  
  2542.           <child>
  2543.         <widget class="GtkVBox" id="vbox42">
  2544.           <property name="visible">True</property>
  2545.           <property name="homogeneous">False</property>
  2546.           <property name="spacing">6</property>
  2547.  
  2548.           <child>
  2549.             <widget class="GtkLabel" id="label166">
  2550.               <property name="visible">True</property>
  2551.               <property name="label" translatable="yes"><b>History files</b></property>
  2552.               <property name="use_underline">False</property>
  2553.               <property name="use_markup">True</property>
  2554.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  2555.               <property name="wrap">False</property>
  2556.               <property name="selectable">False</property>
  2557.               <property name="xalign">0</property>
  2558.               <property name="yalign">0.5</property>
  2559.               <property name="xpad">0</property>
  2560.               <property name="ypad">0</property>
  2561.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2562.               <property name="width_chars">-1</property>
  2563.               <property name="single_line_mode">False</property>
  2564.               <property name="angle">0</property>
  2565.             </widget>
  2566.             <packing>
  2567.               <property name="padding">0</property>
  2568.               <property name="expand">False</property>
  2569.               <property name="fill">False</property>
  2570.             </packing>
  2571.           </child>
  2572.  
  2573.           <child>
  2574.             <widget class="GtkHBox" id="hbox83">
  2575.               <property name="visible">True</property>
  2576.               <property name="homogeneous">False</property>
  2577.               <property name="spacing">0</property>
  2578.  
  2579.               <child>
  2580.             <widget class="GtkLabel" id="label167">
  2581.               <property name="visible">True</property>
  2582.               <property name="label" translatable="yes">    </property>
  2583.               <property name="use_underline">False</property>
  2584.               <property name="use_markup">False</property>
  2585.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  2586.               <property name="wrap">False</property>
  2587.               <property name="selectable">False</property>
  2588.               <property name="xalign">0.5</property>
  2589.               <property name="yalign">0.5</property>
  2590.               <property name="xpad">0</property>
  2591.               <property name="ypad">0</property>
  2592.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2593.               <property name="width_chars">-1</property>
  2594.               <property name="single_line_mode">False</property>
  2595.               <property name="angle">0</property>
  2596.             </widget>
  2597.             <packing>
  2598.               <property name="padding">0</property>
  2599.               <property name="expand">False</property>
  2600.               <property name="fill">False</property>
  2601.             </packing>
  2602.               </child>
  2603.  
  2604.               <child>
  2605.             <widget class="GtkVBox" id="vbox43">
  2606.               <property name="visible">True</property>
  2607.               <property name="homogeneous">False</property>
  2608.               <property name="spacing">6</property>
  2609.  
  2610.               <child>
  2611.                 <widget class="GtkRadioButton" id="radio_keep_history">
  2612.                   <property name="visible">True</property>
  2613.                   <property name="can_focus">True</property>
  2614.                   <property name="label" translatable="yes">_Keep history</property>
  2615.                   <property name="use_underline">True</property>
  2616.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  2617.                   <property name="focus_on_click">True</property>
  2618.                   <property name="active">False</property>
  2619.                   <property name="inconsistent">False</property>
  2620.                   <property name="draw_indicator">True</property>
  2621.                 </widget>
  2622.                 <packing>
  2623.                   <property name="padding">0</property>
  2624.                   <property name="expand">False</property>
  2625.                   <property name="fill">False</property>
  2626.                 </packing>
  2627.               </child>
  2628.  
  2629.               <child>
  2630.                 <widget class="GtkHBox" id="hbox84">
  2631.                   <property name="visible">True</property>
  2632.                   <property name="homogeneous">False</property>
  2633.                   <property name="spacing">6</property>
  2634.  
  2635.                   <child>
  2636.                 <widget class="GtkRadioButton" id="radio_delete_history">
  2637.                   <property name="visible">True</property>
  2638.                   <property name="can_focus">True</property>
  2639.                   <property name="label" translatable="yes">Delete _History files older than:</property>
  2640.                   <property name="use_underline">True</property>
  2641.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  2642.                   <property name="focus_on_click">True</property>
  2643.                   <property name="active">False</property>
  2644.                   <property name="inconsistent">False</property>
  2645.                   <property name="draw_indicator">True</property>
  2646.                   <property name="group">radio_keep_history</property>
  2647.                 </widget>
  2648.                 <packing>
  2649.                   <property name="padding">0</property>
  2650.                   <property name="expand">False</property>
  2651.                   <property name="fill">False</property>
  2652.                 </packing>
  2653.                   </child>
  2654.  
  2655.                   <child>
  2656.                 <widget class="GtkSpinButton" id="spin_del_history">
  2657.                   <property name="visible">True</property>
  2658.                   <property name="can_focus">True</property>
  2659.                   <property name="climb_rate">1</property>
  2660.                   <property name="digits">0</property>
  2661.                   <property name="numeric">False</property>
  2662.                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>
  2663.                   <property name="snap_to_ticks">False</property>
  2664.                   <property name="wrap">False</property>
  2665.                   <property name="adjustment">30 0 100 1 10 10</property>
  2666.                 </widget>
  2667.                 <packing>
  2668.                   <property name="padding">0</property>
  2669.                   <property name="expand">True</property>
  2670.                   <property name="fill">True</property>
  2671.                 </packing>
  2672.                   </child>
  2673.  
  2674.                   <child>
  2675.                 <widget class="GtkLabel" id="label168">
  2676.                   <property name="visible">True</property>
  2677.                   <property name="label" translatable="yes">days</property>
  2678.                   <property name="use_underline">False</property>
  2679.                   <property name="use_markup">False</property>
  2680.                   <property name="justify">GTK_JUSTIFY_LEFT</property>
  2681.                   <property name="wrap">False</property>
  2682.                   <property name="selectable">False</property>
  2683.                   <property name="xalign">0.5</property>
  2684.                   <property name="yalign">0.5</property>
  2685.                   <property name="xpad">0</property>
  2686.                   <property name="ypad">0</property>
  2687.                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2688.                   <property name="width_chars">-1</property>
  2689.                   <property name="single_line_mode">False</property>
  2690.                   <property name="angle">0</property>
  2691.                 </widget>
  2692.                 <packing>
  2693.                   <property name="padding">0</property>
  2694.                   <property name="expand">False</property>
  2695.                   <property name="fill">False</property>
  2696.                 </packing>
  2697.                   </child>
  2698.                 </widget>
  2699.                 <packing>
  2700.                   <property name="padding">0</property>
  2701.                   <property name="expand">False</property>
  2702.                   <property name="fill">False</property>
  2703.                 </packing>
  2704.               </child>
  2705.             </widget>
  2706.             <packing>
  2707.               <property name="padding">0</property>
  2708.               <property name="expand">False</property>
  2709.               <property name="fill">False</property>
  2710.             </packing>
  2711.               </child>
  2712.             </widget>
  2713.             <packing>
  2714.               <property name="padding">0</property>
  2715.               <property name="expand">False</property>
  2716.               <property name="fill">False</property>
  2717.             </packing>
  2718.           </child>
  2719.         </widget>
  2720.         <packing>
  2721.           <property name="padding">0</property>
  2722.           <property name="expand">True</property>
  2723.           <property name="fill">True</property>
  2724.         </packing>
  2725.           </child>
  2726.         </widget>
  2727.         <packing>
  2728.           <property name="tab_expand">False</property>
  2729.           <property name="tab_fill">False</property>
  2730.         </packing>
  2731.       </child>
  2732.  
  2733.       <child>
  2734.         <widget class="GtkLabel" id="label51">
  2735.           <property name="visible">True</property>
  2736.           <property name="label" translatable="yes">Files</property>
  2737.           <property name="use_underline">False</property>
  2738.           <property name="use_markup">False</property>
  2739.           <property name="justify">GTK_JUSTIFY_CENTER</property>
  2740.           <property name="wrap">False</property>
  2741.           <property name="selectable">False</property>
  2742.           <property name="xalign">0.5</property>
  2743.           <property name="yalign">0.5</property>
  2744.           <property name="xpad">0</property>
  2745.           <property name="ypad">0</property>
  2746.           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2747.           <property name="width_chars">-1</property>
  2748.           <property name="single_line_mode">False</property>
  2749.           <property name="angle">0</property>
  2750.         </widget>
  2751.         <packing>
  2752.           <property name="type">tab</property>
  2753.         </packing>
  2754.       </child>
  2755.  
  2756.       <child>
  2757.         <widget class="GtkVBox" id="vbox34">
  2758.           <property name="border_width">12</property>
  2759.           <property name="visible">True</property>
  2760.           <property name="homogeneous">False</property>
  2761.           <property name="spacing">6</property>
  2762.  
  2763.           <child>
  2764.         <widget class="GtkLabel" id="label133">
  2765.           <property name="visible">True</property>
  2766.           <property name="label" translatable="yes"><b>Proxy Server</b></property>
  2767.           <property name="use_underline">False</property>
  2768.           <property name="use_markup">True</property>
  2769.           <property name="justify">GTK_JUSTIFY_LEFT</property>
  2770.           <property name="wrap">False</property>
  2771.           <property name="selectable">False</property>
  2772.           <property name="xalign">0</property>
  2773.           <property name="yalign">0.5</property>
  2774.           <property name="xpad">0</property>
  2775.           <property name="ypad">0</property>
  2776.           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2777.           <property name="width_chars">-1</property>
  2778.           <property name="single_line_mode">False</property>
  2779.           <property name="angle">0</property>
  2780.         </widget>
  2781.         <packing>
  2782.           <property name="padding">0</property>
  2783.           <property name="expand">False</property>
  2784.           <property name="fill">False</property>
  2785.         </packing>
  2786.           </child>
  2787.  
  2788.           <child>
  2789.         <widget class="GtkHBox" id="hbox45">
  2790.           <property name="visible">True</property>
  2791.           <property name="homogeneous">False</property>
  2792.           <property name="spacing">0</property>
  2793.  
  2794.           <child>
  2795.             <widget class="GtkLabel" id="label134">
  2796.               <property name="visible">True</property>
  2797.               <property name="label" translatable="yes">    </property>
  2798.               <property name="use_underline">False</property>
  2799.               <property name="use_markup">False</property>
  2800.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  2801.               <property name="wrap">False</property>
  2802.               <property name="selectable">False</property>
  2803.               <property name="xalign">0.5</property>
  2804.               <property name="yalign">0.5</property>
  2805.               <property name="xpad">0</property>
  2806.               <property name="ypad">0</property>
  2807.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2808.               <property name="width_chars">-1</property>
  2809.               <property name="single_line_mode">False</property>
  2810.               <property name="angle">0</property>
  2811.             </widget>
  2812.             <packing>
  2813.               <property name="padding">0</property>
  2814.               <property name="expand">False</property>
  2815.               <property name="fill">False</property>
  2816.             </packing>
  2817.           </child>
  2818.  
  2819.           <child>
  2820.             <widget class="GtkVBox" id="vbox31">
  2821.               <property name="visible">True</property>
  2822.               <property name="homogeneous">False</property>
  2823.               <property name="spacing">6</property>
  2824.  
  2825.               <child>
  2826.             <widget class="GtkRadioButton" id="radio_no_proxy">
  2827.               <property name="visible">True</property>
  2828.               <property name="can_focus">True</property>
  2829.               <property name="label" translatable="yes">Direct connection to the internet</property>
  2830.               <property name="use_underline">True</property>
  2831.               <property name="relief">GTK_RELIEF_NORMAL</property>
  2832.               <property name="focus_on_click">True</property>
  2833.               <property name="active">True</property>
  2834.               <property name="inconsistent">False</property>
  2835.               <property name="draw_indicator">True</property>
  2836.             </widget>
  2837.             <packing>
  2838.               <property name="padding">0</property>
  2839.               <property name="expand">False</property>
  2840.               <property name="fill">False</property>
  2841.             </packing>
  2842.               </child>
  2843.  
  2844.               <child>
  2845.             <widget class="GtkRadioButton" id="radio_use_proxy">
  2846.               <property name="visible">True</property>
  2847.               <property name="can_focus">True</property>
  2848.               <property name="label" translatable="yes">Manual proxy configuration</property>
  2849.               <property name="use_underline">True</property>
  2850.               <property name="relief">GTK_RELIEF_NORMAL</property>
  2851.               <property name="focus_on_click">True</property>
  2852.               <property name="active">False</property>
  2853.               <property name="inconsistent">False</property>
  2854.               <property name="draw_indicator">True</property>
  2855.               <property name="group">radio_no_proxy</property>
  2856.               <signal name="toggled" handler="on_radio_use_proxy_toggled" last_modification_time="Thu, 25 Sep 2003 22:59:20 GMT"/>
  2857.             </widget>
  2858.             <packing>
  2859.               <property name="padding">0</property>
  2860.               <property name="expand">False</property>
  2861.               <property name="fill">False</property>
  2862.             </packing>
  2863.               </child>
  2864.  
  2865.               <child>
  2866.             <widget class="GtkHBox" id="hbox43">
  2867.               <property name="visible">True</property>
  2868.               <property name="homogeneous">False</property>
  2869.               <property name="spacing">0</property>
  2870.  
  2871.               <child>
  2872.                 <widget class="GtkLabel" id="label126">
  2873.                   <property name="visible">True</property>
  2874.                   <property name="label" translatable="yes">    </property>
  2875.                   <property name="use_underline">False</property>
  2876.                   <property name="use_markup">False</property>
  2877.                   <property name="justify">GTK_JUSTIFY_LEFT</property>
  2878.                   <property name="wrap">False</property>
  2879.                   <property name="selectable">False</property>
  2880.                   <property name="xalign">0.5</property>
  2881.                   <property name="yalign">0.5</property>
  2882.                   <property name="xpad">0</property>
  2883.                   <property name="ypad">0</property>
  2884.                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2885.                   <property name="width_chars">-1</property>
  2886.                   <property name="single_line_mode">False</property>
  2887.                   <property name="angle">0</property>
  2888.                 </widget>
  2889.                 <packing>
  2890.                   <property name="padding">0</property>
  2891.                   <property name="expand">False</property>
  2892.                   <property name="fill">False</property>
  2893.                 </packing>
  2894.               </child>
  2895.  
  2896.               <child>
  2897.                 <widget class="GtkTable" id="table_proxy">
  2898.                   <property name="visible">True</property>
  2899.                   <property name="n_rows">3</property>
  2900.                   <property name="n_columns">3</property>
  2901.                   <property name="homogeneous">False</property>
  2902.                   <property name="row_spacing">6</property>
  2903.                   <property name="column_spacing">12</property>
  2904.  
  2905.                   <child>
  2906.                 <widget class="GtkHBox" id="hbox49">
  2907.                   <property name="visible">True</property>
  2908.                   <property name="homogeneous">False</property>
  2909.                   <property name="spacing">18</property>
  2910.  
  2911.                   <child>
  2912.                     <widget class="GtkEntry" id="entry_http_proxy">
  2913.                       <property name="visible">True</property>
  2914.                       <property name="tooltip" translatable="yes">IP address or host name of the http proxy server</property>
  2915.                       <property name="can_focus">True</property>
  2916.                       <property name="editable">True</property>
  2917.                       <property name="visibility">True</property>
  2918.                       <property name="max_length">0</property>
  2919.                       <property name="text" translatable="yes"></property>
  2920.                       <property name="has_frame">True</property>
  2921.                       <property name="invisible_char">*</property>
  2922.                       <property name="activates_default">False</property>
  2923.                       <signal name="changed" handler="on_entry_http_proxy_changed" last_modification_time="Fri, 31 Mar 2006 11:57:42 GMT"/>
  2924.                     </widget>
  2925.                     <packing>
  2926.                       <property name="padding">0</property>
  2927.                       <property name="expand">True</property>
  2928.                       <property name="fill">True</property>
  2929.                     </packing>
  2930.                   </child>
  2931.  
  2932.                   <child>
  2933.                     <widget class="GtkHBox" id="hbox51">
  2934.                       <property name="visible">True</property>
  2935.                       <property name="homogeneous">False</property>
  2936.                       <property name="spacing">12</property>
  2937.  
  2938.                       <child>
  2939.                     <widget class="GtkLabel" id="label128">
  2940.                       <property name="visible">True</property>
  2941.                       <property name="label" translatable="yes">Port: </property>
  2942.                       <property name="use_underline">False</property>
  2943.                       <property name="use_markup">False</property>
  2944.                       <property name="justify">GTK_JUSTIFY_LEFT</property>
  2945.                       <property name="wrap">False</property>
  2946.                       <property name="selectable">False</property>
  2947.                       <property name="xalign">0</property>
  2948.                       <property name="yalign">0.5</property>
  2949.                       <property name="xpad">0</property>
  2950.                       <property name="ypad">0</property>
  2951.                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2952.                       <property name="width_chars">-1</property>
  2953.                       <property name="single_line_mode">False</property>
  2954.                       <property name="angle">0</property>
  2955.                     </widget>
  2956.                     <packing>
  2957.                       <property name="padding">0</property>
  2958.                       <property name="expand">False</property>
  2959.                       <property name="fill">False</property>
  2960.                     </packing>
  2961.                       </child>
  2962.  
  2963.                       <child>
  2964.                     <widget class="GtkSpinButton" id="spinbutton_http_port">
  2965.                       <property name="visible">True</property>
  2966.                       <property name="tooltip" translatable="yes">Port number of the http proxy server</property>
  2967.                       <property name="can_focus">True</property>
  2968.                       <property name="climb_rate">1</property>
  2969.                       <property name="digits">0</property>
  2970.                       <property name="numeric">False</property>
  2971.                       <property name="update_policy">GTK_UPDATE_ALWAYS</property>
  2972.                       <property name="snap_to_ticks">False</property>
  2973.                       <property name="wrap">False</property>
  2974.                       <property name="adjustment">3128 1 65356 1 10 10</property>
  2975.                     </widget>
  2976.                     <packing>
  2977.                       <property name="padding">0</property>
  2978.                       <property name="expand">True</property>
  2979.                       <property name="fill">False</property>
  2980.                     </packing>
  2981.                       </child>
  2982.                     </widget>
  2983.                     <packing>
  2984.                       <property name="padding">0</property>
  2985.                       <property name="expand">False</property>
  2986.                       <property name="fill">False</property>
  2987.                     </packing>
  2988.                   </child>
  2989.                 </widget>
  2990.                 <packing>
  2991.                   <property name="left_attach">1</property>
  2992.                   <property name="right_attach">2</property>
  2993.                   <property name="top_attach">0</property>
  2994.                   <property name="bottom_attach">1</property>
  2995.                 </packing>
  2996.                   </child>
  2997.  
  2998.                   <child>
  2999.                 <widget class="GtkHBox" id="hbox50">
  3000.                   <property name="visible">True</property>
  3001.                   <property name="homogeneous">False</property>
  3002.                   <property name="spacing">18</property>
  3003.  
  3004.                   <child>
  3005.                     <widget class="GtkEntry" id="entry_ftp_proxy">
  3006.                       <property name="visible">True</property>
  3007.                       <property name="tooltip" translatable="yes">IP address or host name of the ftp proxy server</property>
  3008.                       <property name="can_focus">True</property>
  3009.                       <property name="editable">True</property>
  3010.                       <property name="visibility">True</property>
  3011.                       <property name="max_length">0</property>
  3012.                       <property name="text" translatable="yes"></property>
  3013.                       <property name="has_frame">True</property>
  3014.                       <property name="invisible_char">*</property>
  3015.                       <property name="activates_default">False</property>
  3016.                     </widget>
  3017.                     <packing>
  3018.                       <property name="padding">0</property>
  3019.                       <property name="expand">True</property>
  3020.                       <property name="fill">True</property>
  3021.                     </packing>
  3022.                   </child>
  3023.  
  3024.                   <child>
  3025.                     <widget class="GtkHBox" id="hbox52">
  3026.                       <property name="visible">True</property>
  3027.                       <property name="homogeneous">False</property>
  3028.                       <property name="spacing">12</property>
  3029.  
  3030.                       <child>
  3031.                     <widget class="GtkLabel" id="label130">
  3032.                       <property name="visible">True</property>
  3033.                       <property name="label" translatable="yes">Port: </property>
  3034.                       <property name="use_underline">False</property>
  3035.                       <property name="use_markup">False</property>
  3036.                       <property name="justify">GTK_JUSTIFY_LEFT</property>
  3037.                       <property name="wrap">False</property>
  3038.                       <property name="selectable">False</property>
  3039.                       <property name="xalign">0</property>
  3040.                       <property name="yalign">0.5</property>
  3041.                       <property name="xpad">0</property>
  3042.                       <property name="ypad">0</property>
  3043.                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  3044.                       <property name="width_chars">-1</property>
  3045.                       <property name="single_line_mode">False</property>
  3046.                       <property name="angle">0</property>
  3047.                     </widget>
  3048.                     <packing>
  3049.                       <property name="padding">0</property>
  3050.                       <property name="expand">False</property>
  3051.                       <property name="fill">False</property>
  3052.                     </packing>
  3053.                       </child>
  3054.  
  3055.                       <child>
  3056.                     <widget class="GtkSpinButton" id="spinbutton_ftp_port">
  3057.                       <property name="visible">True</property>
  3058.                       <property name="tooltip" translatable="yes">Port number of the ftp proxy server</property>
  3059.                       <property name="can_focus">True</property>
  3060.                       <property name="climb_rate">1</property>
  3061.                       <property name="digits">0</property>
  3062.                       <property name="numeric">False</property>
  3063.                       <property name="update_policy">GTK_UPDATE_ALWAYS</property>
  3064.                       <property name="snap_to_ticks">False</property>
  3065.                       <property name="wrap">False</property>
  3066.                       <property name="adjustment">3128 1 65536 1 10 10</property>
  3067.                     </widget>
  3068.                     <packing>
  3069.                       <property name="padding">0</property>
  3070.                       <property name="expand">True</property>
  3071.                       <property name="fill">False</property>
  3072.                     </packing>
  3073.                       </child>
  3074.                     </widget>
  3075.                     <packing>
  3076.                       <property name="padding">0</property>
  3077.                       <property name="expand">False</property>
  3078.                       <property name="fill">False</property>
  3079.                     </packing>
  3080.                   </child>
  3081.                 </widget>
  3082.                 <packing>
  3083.                   <property name="left_attach">1</property>
  3084.                   <property name="right_attach">2</property>
  3085.                   <property name="top_attach">1</property>
  3086.                   <property name="bottom_attach">2</property>
  3087.                   <property name="x_options">fill</property>
  3088.                 </packing>
  3089.                   </child>
  3090.  
  3091.                   <child>
  3092.                 <widget class="GtkLabel" id="label131">
  3093.                   <property name="visible">True</property>
  3094.                   <property name="label" translatable="yes">No proxy for: </property>
  3095.                   <property name="use_underline">False</property>
  3096.                   <property name="use_markup">False</property>
  3097.                   <property name="justify">GTK_JUSTIFY_LEFT</property>
  3098.                   <property name="wrap">False</property>
  3099.                   <property name="selectable">False</property>
  3100.                   <property name="xalign">0</property>
  3101.                   <property name="yalign">0.5</property>
  3102.                   <property name="xpad">0</property>
  3103.                   <property name="ypad">0</property>
  3104.                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  3105.                   <property name="width_chars">-1</property>
  3106.                   <property name="single_line_mode">False</property>
  3107.                   <property name="angle">0</property>
  3108.                 </widget>
  3109.                 <packing>
  3110.                   <property name="left_attach">0</property>
  3111.                   <property name="right_attach">1</property>
  3112.                   <property name="top_attach">2</property>
  3113.                   <property name="bottom_attach">3</property>
  3114.                   <property name="x_options">fill</property>
  3115.                   <property name="y_options"></property>
  3116.                 </packing>
  3117.                   </child>
  3118.  
  3119.                   <child>
  3120.                 <widget class="GtkLabel" id="label129">
  3121.                   <property name="visible">True</property>
  3122.                   <property name="label" translatable="yes">FTP proxy: </property>
  3123.                   <property name="use_underline">False</property>
  3124.                   <property name="use_markup">False</property>
  3125.                   <property name="justify">GTK_JUSTIFY_LEFT</property>
  3126.                   <property name="wrap">False</property>
  3127.                   <property name="selectable">False</property>
  3128.                   <property name="xalign">0</property>
  3129.                   <property name="yalign">0.5</property>
  3130.                   <property name="xpad">0</property>
  3131.                   <property name="ypad">0</property>
  3132.                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  3133.                   <property name="width_chars">-1</property>
  3134.                   <property name="single_line_mode">False</property>
  3135.                   <property name="angle">0</property>
  3136.                 </widget>
  3137.                 <packing>
  3138.                   <property name="left_attach">0</property>
  3139.                   <property name="right_attach">1</property>
  3140.                   <property name="top_attach">1</property>
  3141.                   <property name="bottom_attach">2</property>
  3142.                   <property name="x_options">fill</property>
  3143.                   <property name="y_options"></property>
  3144.                 </packing>
  3145.                   </child>
  3146.  
  3147.                   <child>
  3148.                 <widget class="GtkLabel" id="label127">
  3149.                   <property name="visible">True</property>
  3150.                   <property name="label" translatable="yes">HTTP proxy: </property>
  3151.                   <property name="use_underline">False</property>
  3152.                   <property name="use_markup">False</property>
  3153.                   <property name="justify">GTK_JUSTIFY_LEFT</property>
  3154.                   <property name="wrap">False</property>
  3155.                   <property name="selectable">False</property>
  3156.                   <property name="xalign">0</property>
  3157.                   <property name="yalign">0.5</property>
  3158.                   <property name="xpad">0</property>
  3159.                   <property name="ypad">0</property>
  3160.                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  3161.                   <property name="width_chars">-1</property>
  3162.                   <property name="single_line_mode">False</property>
  3163.                   <property name="angle">0</property>
  3164.                 </widget>
  3165.                 <packing>
  3166.                   <property name="left_attach">0</property>
  3167.                   <property name="right_attach">1</property>
  3168.                   <property name="top_attach">0</property>
  3169.                   <property name="bottom_attach">1</property>
  3170.                   <property name="x_options">fill</property>
  3171.                   <property name="y_options"></property>
  3172.                 </packing>
  3173.                   </child>
  3174.  
  3175.                   <child>
  3176.                 <widget class="GtkEntry" id="entry_no_proxy">
  3177.                   <property name="visible">True</property>
  3178.                   <property name="tooltip" translatable="yes">Comma separated list of hosts and domains that will not be contacted through the proxy (e.g. localhost, 192.168.1.231, .net)</property>
  3179.                   <property name="can_focus">True</property>
  3180.                   <property name="editable">True</property>
  3181.                   <property name="visibility">True</property>
  3182.                   <property name="max_length">0</property>
  3183.                   <property name="text" translatable="yes"></property>
  3184.                   <property name="has_frame">True</property>
  3185.                   <property name="invisible_char">*</property>
  3186.                   <property name="activates_default">False</property>
  3187.                 </widget>
  3188.                 <packing>
  3189.                   <property name="left_attach">1</property>
  3190.                   <property name="right_attach">2</property>
  3191.                   <property name="top_attach">2</property>
  3192.                   <property name="bottom_attach">3</property>
  3193.                   <property name="y_options"></property>
  3194.                 </packing>
  3195.                   </child>
  3196.  
  3197.                   <child>
  3198.                 <widget class="GtkButton" id="button_authentication">
  3199.                   <property name="visible">True</property>
  3200.                   <property name="can_focus">True</property>
  3201.                   <property name="label" translatable="yes">Authentication</property>
  3202.                   <property name="use_underline">True</property>
  3203.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  3204.                   <property name="focus_on_click">True</property>
  3205.                   <signal name="clicked" handler="on_button_authentication_clicked" last_modification_time="Tue, 03 Apr 2007 21:11:44 GMT"/>
  3206.                 </widget>
  3207.                 <packing>
  3208.                   <property name="left_attach">2</property>
  3209.                   <property name="right_attach">3</property>
  3210.                   <property name="top_attach">0</property>
  3211.                   <property name="bottom_attach">1</property>
  3212.                   <property name="x_options">fill</property>
  3213.                   <property name="y_options"></property>
  3214.                 </packing>
  3215.                   </child>
  3216.                 </widget>
  3217.                 <packing>
  3218.                   <property name="padding">0</property>
  3219.                   <property name="expand">True</property>
  3220.                   <property name="fill">True</property>
  3221.                 </packing>
  3222.               </child>
  3223.             </widget>
  3224.             <packing>
  3225.               <property name="padding">0</property>
  3226.               <property name="expand">True</property>
  3227.               <property name="fill">True</property>
  3228.             </packing>
  3229.               </child>
  3230.             </widget>
  3231.             <packing>
  3232.               <property name="padding">0</property>
  3233.               <property name="expand">True</property>
  3234.               <property name="fill">True</property>
  3235.             </packing>
  3236.           </child>
  3237.         </widget>
  3238.         <packing>
  3239.           <property name="padding">0</property>
  3240.           <property name="expand">False</property>
  3241.           <property name="fill">False</property>
  3242.         </packing>
  3243.           </child>
  3244.         </widget>
  3245.         <packing>
  3246.           <property name="tab_expand">False</property>
  3247.           <property name="tab_fill">False</property>
  3248.         </packing>
  3249.       </child>
  3250.  
  3251.       <child>
  3252.         <widget class="GtkLabel" id="label145">
  3253.           <property name="visible">True</property>
  3254.           <property name="label" translatable="yes">Network</property>
  3255.           <property name="use_underline">False</property>
  3256.           <property name="use_markup">False</property>
  3257.           <property name="justify">GTK_JUSTIFY_LEFT</property>
  3258.           <property name="wrap">False</property>
  3259.           <property name="selectable">False</property>
  3260.           <property name="xalign">0.5</property>
  3261.           <property name="yalign">0.5</property>
  3262.           <property name="xpad">0</property>
  3263.           <property name="ypad">0</property>
  3264.           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  3265.           <property name="width_chars">-1</property>
  3266.           <property name="single_line_mode">False</property>
  3267.           <property name="angle">0</property>
  3268.         </widget>
  3269.         <packing>
  3270.           <property name="type">tab</property>
  3271.         </packing>
  3272.       </child>
  3273.  
  3274.       <child>
  3275.         <widget class="GtkVBox" id="vbox36">
  3276.           <property name="border_width">12</property>
  3277.           <property name="visible">True</property>
  3278.           <property name="homogeneous">False</property>
  3279.           <property name="spacing">18</property>
  3280.  
  3281.           <child>
  3282.         <widget class="GtkHBox" id="hbox67">
  3283.           <property name="visible">True</property>
  3284.           <property name="homogeneous">False</property>
  3285.           <property name="spacing">12</property>
  3286.  
  3287.           <child>
  3288.             <widget class="GtkImage" id="image7">
  3289.               <property name="visible">True</property>
  3290.               <property name="stock">gtk-dialog-warning</property>
  3291.               <property name="icon_size">5</property>
  3292.               <property name="xalign">0</property>
  3293.               <property name="yalign">0</property>
  3294.               <property name="xpad">0</property>
  3295.               <property name="ypad">0</property>
  3296.             </widget>
  3297.             <packing>
  3298.               <property name="padding">0</property>
  3299.               <property name="expand">False</property>
  3300.               <property name="fill">False</property>
  3301.             </packing>
  3302.           </child>
  3303.  
  3304.           <child>
  3305.             <widget class="GtkLabel" id="label144">
  3306.               <property name="visible">True</property>
  3307.               <property name="label" translatable="yes"><span size="large" weight="bold">These settings affect the core of your system. Consider any changes carefully.</span></property>
  3308.               <property name="use_underline">False</property>
  3309.               <property name="use_markup">True</property>
  3310.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  3311.               <property name="wrap">True</property>
  3312.               <property name="selectable">False</property>
  3313.               <property name="xalign">0</property>
  3314.               <property name="yalign">0.5</property>
  3315.               <property name="xpad">0</property>
  3316.               <property name="ypad">0</property>
  3317.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  3318.               <property name="width_chars">-1</property>
  3319.               <property name="single_line_mode">False</property>
  3320.               <property name="angle">0</property>
  3321.             </widget>
  3322.             <packing>
  3323.               <property name="padding">0</property>
  3324.               <property name="expand">False</property>
  3325.               <property name="fill">False</property>
  3326.             </packing>
  3327.           </child>
  3328.         </widget>
  3329.         <packing>
  3330.           <property name="padding">0</property>
  3331.           <property name="expand">False</property>
  3332.           <property name="fill">False</property>
  3333.         </packing>
  3334.           </child>
  3335.  
  3336.           <child>
  3337.         <widget class="GtkVBox" id="vbox35">
  3338.           <property name="visible">True</property>
  3339.           <property name="homogeneous">False</property>
  3340.           <property name="spacing">6</property>
  3341.  
  3342.           <child>
  3343.             <widget class="GtkLabel" id="label141">
  3344.               <property name="visible">True</property>
  3345.               <property name="label" translatable="yes"><b>Package upgrade behavior (default distribution)</b></property>
  3346.               <property name="use_underline">False</property>
  3347.               <property name="use_markup">True</property>
  3348.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  3349.               <property name="wrap">False</property>
  3350.               <property name="selectable">False</property>
  3351.               <property name="xalign">0</property>
  3352.               <property name="yalign">0.5</property>
  3353.               <property name="xpad">0</property>
  3354.               <property name="ypad">0</property>
  3355.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  3356.               <property name="width_chars">-1</property>
  3357.               <property name="single_line_mode">False</property>
  3358.               <property name="angle">0</property>
  3359.             </widget>
  3360.             <packing>
  3361.               <property name="padding">0</property>
  3362.               <property name="expand">False</property>
  3363.               <property name="fill">False</property>
  3364.             </packing>
  3365.           </child>
  3366.  
  3367.           <child>
  3368.             <widget class="GtkHBox" id="hbox66">
  3369.               <property name="visible">True</property>
  3370.               <property name="homogeneous">False</property>
  3371.               <property name="spacing">0</property>
  3372.  
  3373.               <child>
  3374.             <widget class="GtkLabel" id="label143">
  3375.               <property name="visible">True</property>
  3376.               <property name="label" translatable="yes">    </property>
  3377.               <property name="use_underline">False</property>
  3378.               <property name="use_markup">False</property>
  3379.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  3380.               <property name="wrap">False</property>
  3381.               <property name="selectable">False</property>
  3382.               <property name="xalign">0.5</property>
  3383.               <property name="yalign">0.5</property>
  3384.               <property name="xpad">0</property>
  3385.               <property name="ypad">0</property>
  3386.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  3387.               <property name="width_chars">-1</property>
  3388.               <property name="single_line_mode">False</property>
  3389.               <property name="angle">0</property>
  3390.             </widget>
  3391.             <packing>
  3392.               <property name="padding">0</property>
  3393.               <property name="expand">False</property>
  3394.               <property name="fill">False</property>
  3395.             </packing>
  3396.               </child>
  3397.  
  3398.               <child>
  3399.             <widget class="GtkVBox" id="vbox36">
  3400.               <property name="visible">True</property>
  3401.               <property name="homogeneous">False</property>
  3402.               <property name="spacing">12</property>
  3403.  
  3404.               <child>
  3405.                 <widget class="GtkRadioButton" id="radiobutton_ignore">
  3406.                   <property name="visible">True</property>
  3407.                   <property name="can_focus">True</property>
  3408.                   <property name="label" translatable="yes">Always prefer the highest version</property>
  3409.                   <property name="use_underline">True</property>
  3410.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  3411.                   <property name="focus_on_click">True</property>
  3412.                   <property name="active">False</property>
  3413.                   <property name="inconsistent">False</property>
  3414.                   <property name="draw_indicator">True</property>
  3415.                   <signal name="toggled" handler="on_radiobutton_distribution_group_changed" last_modification_time="Thu, 06 Jan 2005 11:03:37 GMT"/>
  3416.                 </widget>
  3417.                 <packing>
  3418.                   <property name="padding">0</property>
  3419.                   <property name="expand">False</property>
  3420.                   <property name="fill">False</property>
  3421.                 </packing>
  3422.               </child>
  3423.  
  3424.               <child>
  3425.                 <widget class="GtkRadioButton" id="radiobutton_now">
  3426.                   <property name="visible">True</property>
  3427.                   <property name="can_focus">True</property>
  3428.                   <property name="label" translatable="yes">Always prefer the installed version</property>
  3429.                   <property name="use_underline">True</property>
  3430.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  3431.                   <property name="focus_on_click">True</property>
  3432.                   <property name="active">False</property>
  3433.                   <property name="inconsistent">False</property>
  3434.                   <property name="draw_indicator">True</property>
  3435.                   <property name="group">radiobutton_ignore</property>
  3436.                   <signal name="toggled" handler="on_radiobutton_distribution_group_changed" last_modification_time="Thu, 06 Jan 2005 11:04:00 GMT"/>
  3437.                 </widget>
  3438.                 <packing>
  3439.                   <property name="padding">0</property>
  3440.                   <property name="expand">False</property>
  3441.                   <property name="fill">False</property>
  3442.                 </packing>
  3443.               </child>
  3444.  
  3445.               <child>
  3446.                 <widget class="GtkHBox" id="hbox82">
  3447.                   <property name="visible">True</property>
  3448.                   <property name="homogeneous">False</property>
  3449.                   <property name="spacing">0</property>
  3450.  
  3451.                   <child>
  3452.                 <widget class="GtkRadioButton" id="radiobutton_distro">
  3453.                   <property name="visible">True</property>
  3454.                   <property name="can_focus">True</property>
  3455.                   <property name="label" translatable="yes">Prefer versions from: </property>
  3456.                   <property name="use_underline">True</property>
  3457.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  3458.                   <property name="focus_on_click">True</property>
  3459.                   <property name="active">False</property>
  3460.                   <property name="inconsistent">False</property>
  3461.                   <property name="draw_indicator">True</property>
  3462.                   <property name="group">radiobutton_ignore</property>
  3463.                   <signal name="toggled" handler="on_radiobutton_distribution_group_changed" last_modification_time="Thu, 06 Jan 2005 11:04:19 GMT"/>
  3464.                 </widget>
  3465.                 <packing>
  3466.                   <property name="padding">0</property>
  3467.                   <property name="expand">False</property>
  3468.                   <property name="fill">False</property>
  3469.                 </packing>
  3470.                   </child>
  3471.  
  3472.                   <child>
  3473.                 <widget class="GtkComboBox" id="combobox_default_distro">
  3474.                   <property name="visible">True</property>
  3475.                   <property name="items" translatable="yes"></property>
  3476.                   <property name="add_tearoffs">False</property>
  3477.                   <property name="focus_on_click">True</property>
  3478.                 </widget>
  3479.                 <packing>
  3480.                   <property name="padding">0</property>
  3481.                   <property name="expand">True</property>
  3482.                   <property name="fill">True</property>
  3483.                 </packing>
  3484.                   </child>
  3485.                 </widget>
  3486.                 <packing>
  3487.                   <property name="padding">0</property>
  3488.                   <property name="expand">False</property>
  3489.                   <property name="fill">False</property>
  3490.                 </packing>
  3491.               </child>
  3492.             </widget>
  3493.             <packing>
  3494.               <property name="padding">0</property>
  3495.               <property name="expand">True</property>
  3496.               <property name="fill">True</property>
  3497.             </packing>
  3498.               </child>
  3499.             </widget>
  3500.             <packing>
  3501.               <property name="padding">0</property>
  3502.               <property name="expand">True</property>
  3503.               <property name="fill">True</property>
  3504.             </packing>
  3505.           </child>
  3506.         </widget>
  3507.         <packing>
  3508.           <property name="padding">0</property>
  3509.           <property name="expand">True</property>
  3510.           <property name="fill">True</property>
  3511.         </packing>
  3512.           </child>
  3513.         </widget>
  3514.         <packing>
  3515.           <property name="tab_expand">False</property>
  3516.           <property name="tab_fill">True</property>
  3517.         </packing>
  3518.       </child>
  3519.  
  3520.       <child>
  3521.         <widget class="GtkLabel" id="label138">
  3522.           <property name="visible">True</property>
  3523.           <property name="label" translatable="yes">Distribution</property>
  3524.           <property name="use_underline">False</property>
  3525.           <property name="use_markup">False</property>
  3526.           <property name="justify">GTK_JUSTIFY_LEFT</property>
  3527.           <property name="wrap">False</property>
  3528.           <property name="selectable">False</property>
  3529.           <property name="xalign">0.5</property>
  3530.           <property name="yalign">0.5</property>
  3531.           <property name="xpad">0</property>
  3532.           <property name="ypad">0</property>
  3533.           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  3534.           <property name="width_chars">-1</property>
  3535.           <property name="single_line_mode">False</property>
  3536.           <property name="angle">0</property>
  3537.         </widget>
  3538.         <packing>
  3539.           <property name="type">tab</property>
  3540.         </packing>
  3541.       </child>
  3542.     </widget>
  3543.     <packing>
  3544.       <property name="padding">0</property>
  3545.       <property name="expand">True</property>
  3546.       <property name="fill">True</property>
  3547.     </packing>
  3548.       </child>
  3549.  
  3550.       <child>
  3551.     <widget class="GtkHButtonBox" id="hbuttonbox2">
  3552.       <property name="border_width">6</property>
  3553.       <property name="visible">True</property>
  3554.       <property name="layout_style">GTK_BUTTONBOX_END</property>
  3555.       <property name="spacing">6</property>
  3556.  
  3557.       <child>
  3558.         <widget class="GtkButton" id="apply">
  3559.           <property name="visible">True</property>
  3560.           <property name="can_default">True</property>
  3561.           <property name="can_focus">True</property>
  3562.           <property name="label">gtk-apply</property>
  3563.           <property name="use_stock">True</property>
  3564.           <property name="relief">GTK_RELIEF_NORMAL</property>
  3565.           <property name="focus_on_click">True</property>
  3566.           <signal name="clicked" handler="on_apply_clicked" last_modification_time="Thu, 06 Feb 2003 15:53:47 GMT"/>
  3567.         </widget>
  3568.       </child>
  3569.  
  3570.       <child>
  3571.         <widget class="GtkButton" id="close">
  3572.           <property name="visible">True</property>
  3573.           <property name="can_default">True</property>
  3574.           <property name="can_focus">True</property>
  3575.           <property name="label">gtk-cancel</property>
  3576.           <property name="use_stock">True</property>
  3577.           <property name="relief">GTK_RELIEF_NORMAL</property>
  3578.           <property name="focus_on_click">True</property>
  3579.           <signal name="clicked" handler="on_close_clicked" last_modification_time="Thu, 06 Feb 2003 15:54:11 GMT"/>
  3580.         </widget>
  3581.       </child>
  3582.  
  3583.       <child>
  3584.         <widget class="GtkButton" id="ok">
  3585.           <property name="visible">True</property>
  3586.           <property name="can_default">True</property>
  3587.           <property name="can_focus">True</property>
  3588.           <property name="label">gtk-ok</property>
  3589.           <property name="use_stock">True</property>
  3590.           <property name="relief">GTK_RELIEF_NORMAL</property>
  3591.           <property name="focus_on_click">True</property>
  3592.           <signal name="clicked" handler="on_ok_clicked" last_modification_time="Thu, 06 Feb 2003 15:50:24 GMT"/>
  3593.         </widget>
  3594.       </child>
  3595.     </widget>
  3596.     <packing>
  3597.       <property name="padding">0</property>
  3598.       <property name="expand">False</property>
  3599.       <property name="fill">False</property>
  3600.     </packing>
  3601.       </child>
  3602.     </widget>
  3603.   </child>
  3604. </widget>
  3605.  
  3606. </glade-interface>
  3607.